fun call f arg = print ((IntInf.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callO f arg = print (((case f arg of SOME x => "SOME " ^ IntInf.toString x | NONE => "NONE") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callP f arg = print (((case f arg of (x, y) => "(" ^ IntInf.toString x ^ "," ^ IntInf.toString y ^ ")") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (IntInf.toString x ^ " + " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.+ (x, y)
                 ; print (IntInf.toString x ^ " - " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.- (x, y)
                 ; print (IntInf.toString x ^ " * " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.* (x, y)
                 ; print (IntInf.toString x ^ " div " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.div (x, y)
                 ; print (IntInf.toString x ^ " mod " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.mod (x, y)
                 ; print (IntInf.toString x ^ " divMod " ^ IntInf.toString y ^ " = ")
                 ; callP IntInf.divMod (x, y)
                 ; print (IntInf.toString x ^ " quot " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.quot (x, y)
                 ; print (IntInf.toString x ^ " rem " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.rem (x, y)
                 ; print (IntInf.toString x ^ " quotRem " ^ IntInf.toString y ^ " = ")
                 ; callP IntInf.quotRem (x, y)
                 ; print (IntInf.toString x ^ " orb " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.orb (x, y)
                 ; print (IntInf.toString x ^ " xorb " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.xorb (x, y)
                 ; print (IntInf.toString x ^ " andb " ^ IntInf.toString y ^ " = ")
                 ; call IntInf.andb (x, y)
                 );
fun un x = ( print ("~ " ^ IntInf.toString x ^ " = ")
           ; call IntInf.~ x
           ; print ("abs " ^ IntInf.toString x ^ " = ")
           ; call IntInf.abs x
           ; print ("notb " ^ IntInf.toString x ^ " = ")
           ; call IntInf.notb x
           (* ; print ("fmt BIN " ^ IntInf.toString x ^ " = ")
           ; callS (IntInf.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ IntInf.toString x ^ " = ")
           ; callS (IntInf.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ IntInf.toString x ^ " = ")
           ; callS (IntInf.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ IntInf.toString x ^ " = ")
           ; callS (IntInf.fmt StringCvt.HEX) x
           ; print ("toLarge " ^ IntInf.toString x ^ " = ")
           ; callS (LargeInt.toString o IntInf.toLarge) x
           );
List.app un
[~9223372036854775808
,~9223372036854775807
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9223372036854775806
,9223372036854775807
,~5409008727128139067564957763602339820166096240057908150082
,~3140375977898436542012082573580997584293258702557834854622
,~775265176186851615538182709838367276052223792751607505943
,~4886322291255779283773328303042134392724542916225032809699
,5529582096166211121019346266834485149317983719417510443706
,~5476100941970080617734900874808973764532442556080387061628
,2802724155356963888370215921553732068930664374676709449973
,2572136565339841457699657203636367150681778342109794986645
,4839781550649941187065188492680758755458291488951935818814
,~2922923973502226528897705406420996827476518570035653882971
,~2360371453367211669475160870402660290143846145938769586208
,2683726382712600743332086209312290012409947391101638991600
,~5102109202655237210198768443039253627718969837228254848739
,2439794412659533508464158789724041756033764933817197187745
,1233454418302947781164454248894484343397178276366821411459
,557205312803586141987559992633811024217850944803503792390
,6143559725776471435192744611504582529008785027255588273418
,1107414444354212275980740766866197235305884137465370424773
,~774346060272717566185576512066647874415830167960704113734
,~808795984479209074727691268854535312465618358906868688348
,~4302915714451510479117424066466065156986046441872108844456
,~512980439487188359861599677636256371606895611905845435253
,2129824879179448740136929244805397230837218503564679039866
,3057992084254381670688689399463210459133731159411660791642
,~5477435684504467373409632507155769629413118183381314356321
,5206831731387504580542358105080611803239911341530970241950
,5291135817157727558272048234576242212797978566581868654690
,3342451236322132856961433273017307698712578691006711965030
,718703287348122906756235841321765973646055029615353956099
,~2629269978614912516537973518980446566182621758791252004242
,~4107282430520681753840328991490644223633012027535856381694
,~5010033284269267270742294052105268669251221196314606494025
,2532543684757874808296536392857620816570713523944623867907
,~3908961850219040039377027209550500572901419907978808287738
,~3783530003888815086668638816337163678247550311089822376753
,3711130993135959461359237389980648009232006166361168739898
,3344053584267536047700637790288501142495834802394180778225
,~309087394006068288646746232169323320991070573939724640199
,1325143394419482188848061941421296080698375109752287013535
,~301768717980238072338729557091984166253070835149265590186
,~2082548945184446727204270824581846490197366457239135566738
,4264892504065269700141549751924243920124561238759854335525
,~1419856875829087464777899974450304465842693179487877992463
,~914516134246159646709060318954207350267228028599451737630
,~4789051436440234531763265363295133384035856039007303290009
,4402000368184844437547853569797875211960626890428852978238
,55759691863865137341781192935036570292452061886521146075
,2988004049290635723239029979506794592604557990918401582764
,166002974364713116436301102499133172458234302455504906148
,1328654913391414407180658826725893438188268209446310220206
];
List.app bin
[(~9223372036854775808,~9223372036854775808)
,(~9223372036854775808,~9223372036854775807)
,(~9223372036854775808,~35)
,(~9223372036854775808,~3)
,(~9223372036854775808,~2)
,(~9223372036854775808,~1)
,(~9223372036854775808,0)
,(~9223372036854775808,1)
,(~9223372036854775808,2)
,(~9223372036854775808,3)
,(~9223372036854775808,99)
,(~9223372036854775808,9223372036854775806)
,(~9223372036854775808,9223372036854775807)
,(~9223372036854775808,3002399751580331)
,(~9223372036854775807,~9223372036854775808)
,(~9223372036854775807,~9223372036854775807)
,(~9223372036854775807,~35)
,(~9223372036854775807,~3)
,(~9223372036854775807,~2)
,(~9223372036854775807,~1)
,(~9223372036854775807,0)
,(~9223372036854775807,1)
,(~9223372036854775807,2)
,(~9223372036854775807,3)
,(~9223372036854775807,99)
,(~9223372036854775807,9223372036854775806)
,(~9223372036854775807,9223372036854775807)
,(~9223372036854775807,3002399751580331)
,(~77,~9223372036854775808)
,(~77,~9223372036854775807)
,(~77,~35)
,(~77,~3)
,(~77,~2)
,(~77,~1)
,(~77,0)
,(~77,1)
,(~77,2)
,(~77,3)
,(~77,99)
,(~77,9223372036854775806)
,(~77,9223372036854775807)
,(~77,3002399751580331)
,(~3,~9223372036854775808)
,(~3,~9223372036854775807)
,(~3,~35)
,(~3,~3)
,(~3,~2)
,(~3,~1)
,(~3,0)
,(~3,1)
,(~3,2)
,(~3,3)
,(~3,99)
,(~3,9223372036854775806)
,(~3,9223372036854775807)
,(~3,3002399751580331)
,(~2,~9223372036854775808)
,(~2,~9223372036854775807)
,(~2,~35)
,(~2,~3)
,(~2,~2)
,(~2,~1)
,(~2,0)
,(~2,1)
,(~2,2)
,(~2,3)
,(~2,99)
,(~2,9223372036854775806)
,(~2,9223372036854775807)
,(~2,3002399751580331)
,(~1,~9223372036854775808)
,(~1,~9223372036854775807)
,(~1,~35)
,(~1,~3)
,(~1,~2)
,(~1,~1)
,(~1,0)
,(~1,1)
,(~1,2)
,(~1,3)
,(~1,99)
,(~1,9223372036854775806)
,(~1,9223372036854775807)
,(~1,3002399751580331)
,(0,~9223372036854775808)
,(0,~9223372036854775807)
,(0,~35)
,(0,~3)
,(0,~2)
,(0,~1)
,(0,0)
,(0,1)
,(0,2)
,(0,3)
,(0,99)
,(0,9223372036854775806)
,(0,9223372036854775807)
,(0,3002399751580331)
,(1,~9223372036854775808)
,(1,~9223372036854775807)
,(1,~35)
,(1,~3)
,(1,~2)
,(1,~1)
,(1,0)
,(1,1)
,(1,2)
,(1,3)
,(1,99)
,(1,9223372036854775806)
,(1,9223372036854775807)
,(1,3002399751580331)
,(2,~9223372036854775808)
,(2,~9223372036854775807)
,(2,~35)
,(2,~3)
,(2,~2)
,(2,~1)
,(2,0)
,(2,1)
,(2,2)
,(2,3)
,(2,99)
,(2,9223372036854775806)
,(2,9223372036854775807)
,(2,3002399751580331)
,(3,~9223372036854775808)
,(3,~9223372036854775807)
,(3,~35)
,(3,~3)
,(3,~2)
,(3,~1)
,(3,0)
,(3,1)
,(3,2)
,(3,3)
,(3,99)
,(3,9223372036854775806)
,(3,9223372036854775807)
,(3,3002399751580331)
,(78,~9223372036854775808)
,(78,~9223372036854775807)
,(78,~35)
,(78,~3)
,(78,~2)
,(78,~1)
,(78,0)
,(78,1)
,(78,2)
,(78,3)
,(78,99)
,(78,9223372036854775806)
,(78,9223372036854775807)
,(78,3002399751580331)
,(9223372036854775806,~9223372036854775808)
,(9223372036854775806,~9223372036854775807)
,(9223372036854775806,~35)
,(9223372036854775806,~3)
,(9223372036854775806,~2)
,(9223372036854775806,~1)
,(9223372036854775806,0)
,(9223372036854775806,1)
,(9223372036854775806,2)
,(9223372036854775806,3)
,(9223372036854775806,99)
,(9223372036854775806,9223372036854775806)
,(9223372036854775806,9223372036854775807)
,(9223372036854775806,3002399751580331)
,(9223372036854775807,~9223372036854775808)
,(9223372036854775807,~9223372036854775807)
,(9223372036854775807,~35)
,(9223372036854775807,~3)
,(9223372036854775807,~2)
,(9223372036854775807,~1)
,(9223372036854775807,0)
,(9223372036854775807,1)
,(9223372036854775807,2)
,(9223372036854775807,3)
,(9223372036854775807,99)
,(9223372036854775807,9223372036854775806)
,(9223372036854775807,9223372036854775807)
,(9223372036854775807,3002399751580331)
,(~5521912731800522635470869061372799500766704641597047186452,~996619683275322149143113348852988112546255561655327845920)
,(1806726829074939336200015288508310096195514111488194266271,1966957004043394835522255975195319049574663820702307400199)
,(~4335708251195802316584011622440269932295216860236724365369,4260474181550757521368704267672458004690499245293926553884)
,(5550866532001648443944699204761630951094045669033471877442,~3914324678595163690286865257391157657854044811996354107796)
,(~2908873533582918240738949152516289886177185746917370730394,5887810883651554099724006693858805509380902038336438881966)
,(~778557398855648031896532993133756149707600796542489199845,3266289673188119970570710843782398010220051950692205926420)
,(4028901521232684462725666744736571290766447955473320245681,1970727334137424727077968198795447171647854521718896352870)
,(2827224216553802409056674477907462491742287932548047107748,~5078863939318669866194183448556352900165209196251821369413)
,(~2570605069380078833386514807670200860539605135010845674828,~1939978443329719493962306429719558931946606679817440340820)
,(1615028440366712719671181669556134015194700943594127690758,~1151778488260666169546013678448531815999403965164239957288)
,(~5329562719856609158808335316896392270466365821251832583898,5751914855575535789929906651913503391265555527646241766891)
,(5599386751448366209452216718308807290969657008962226294382,~1468978491270407151603859677598153684641134086488654594304)
,(~3567444024328105470870366048444049737861668269918839549627,3452151902757056196444351103851674261129144289757436013705)
,(~1441599074606018541692300782962786025401658577580787604443,3000830449375358918304888871362786581812394349937448688596)
,(161067667085304492913663333182865393751405083103856653391,~4788516907758593474559835723009834743775936477330495758724)
,(~2419060240931211839064903948186387313213819124109178305779,~1275504134443758651330992832683820922746622987145003283169)
,(957153115726386506811168244381353897545737000476529713183,~1069708417707501793290897927755651203773175958331826041468)
,(5168502424816406654305484885513006261573267618356981179222,4902732327093463975984430479525744663121239271115541225222)
,(~709160459208123187099437721834933647236901910098927958267,5891281687305417283226363263546415296291339936077535842261)
,(~6083163926809783898599725074235514981218080462974725486727,1403227943817188164581871700211806864680394061235512980381)
,(~2856663713863276568435455280596369195055672764968048571571,1693388678586432631104060268250701938593041989645661446193)
,(1111509787782234856152912082991673843890156405644752869612,6226197252064765978632033950736606077310084871458511141006)
,(~3439270642766120555897325793822460211044997604262762308788,767097341065356627195856294526497941525551938726995780818)
,(~4548999334410097441934384140934260776940568520853986946879,1604573363245508585047867118242021442283771869841626321501)
,(~3772369319718940540866654322740415572543094887309464822533,~1211206846418452333851251789826546866173144714509668376789)
,(~5157004019301230807346078747698018765493283856359002571915,~1451304849843476991389695220924263622437556106890003874769)
,(1364713563067787851135925788912309780756640523539039827452,1209547193432162340316171255477035052118075388118999473608)
,(2434842830884280168753985971191350407257453326693903025636,1975863599545259219585669555163902615816522949192738774091)
,(~4507471330693935925730876857050096320550727212550612202792,~1693473146979050931736354215896848105694327467540056126414)
,(1058866049133019096550041197617841038379332858746997415637,4145045155962705103528740103313657663674008470695625026999)
,(57397773689605845440501777950498595316118131778743478748,4358790222537825269879195796513972822713852718697799270198)
,(4894032230976984399952658544984486538891943595112394613050,5570660172021416637718439216901992346364700229236027281208)
,(~1010016456931766589638580606899834410396559493559850490999,4063310247067016412858317793583493438985819727586000152205)
,(3587138566451520658230645218742899732417854599868908578204,5322880308636432406421307903426736939951086007727127449733)
,(~4546520864147233747920498243886871115136750617430123052151,6064069869031494090168636439207087943584738320897643411962)
,(~3780243953096964069657724509736197690700463287428758517258,3188006490561301459733414380646673768807103981493590972980)
,(~2671636647798624349870713197886183329868779233192356912691,~3879475621933739848407441435137604085742311694666325565270)
,(1617710767914201275127477097984960872488491732928910643428,2856528731350764316347493649465219466100491684238273458425)
,(5430327781551168759246251324531921907754177153773077623591,~3931639278551565917196834873681513658466074788999803411152)
,(5579422617363573650328661363451065509374296627332729263895,5920770165036700474545499715661496828770657749203902507913)
,(4406879983295240253499487290162198682281181391817529304078,4104988827686810767255601927337139847141457898911301441238)
,(~1305241357577965296106109965785917567527244146118850508572,1718114970677134474200166398126074833787947559708638735371)
,(~74157661001555849451670696777591581108250034859612722178,~4636000540764995016377698105047210755836997227211153493115)
,(~3503447292252998602292175617824069901938791183944927635925,3987917377482997963412492797019854334435429551680685987691)
,(3625005475064543394299816685171115193729601988170909563819,3631240130953319438260938955049573992292947647121567891907)
,(~802294971262728710911140322243814165009907197828948848728,~6189675261699292727642685279422993269123439351147724952002)
,(4542883908229978339653552185086316441565167020911896241276,~3333122024044122534800803389650776028558625063238366168143)
,(6147065061801038345541884039806157427164767134610130831516,~905647645172479759041903354465739578608975104230571348898)
,(~2331194221235008794333322875755884778580920746307936444413,2858450145585675788810170908050045944154033571613433597829)
,(3948134246343219149462047139565053441548973255576951239135,~2124655003242179395568456584196565978707593072033789453022)
,(~3800167900307506429512814844210343523190285133132483163755,4102343118647402030462748091676170130576457482637684016224)
,(4665289747567907280598736826541118650562103872545554383458,~2487792297315600898757389029210463338160755876731789242252)
,(~2530084707795257801251571771168863769977948247719666937306,1911416030518239066953133088917594715864155295116493105371)
,(~1451596804302842627078693883970550407131483023360554591977,~4201063695619794081932753457993430741481835380825151201124)
,(~250534728898023446582637042081122218755603177387927891012,1765209651847072975249068294287968337529033319531424990971)
,(~1003883090233598200200916911288487000331575863308296043185,5849702773570556606460969979041510993400637820332521199660)
,(1612201310212531343707821834339951753870562375521260620607,~5036706245838059324089874007369078354089694823425607384341)
,(~2174379834134717139168755513126759348430496699937306758067,126843090347103081270295433009401546909104416413450899405)
,(~3425811780656280176975311429284041007660011391968468214305,3681477102918676282251171641713509471675443220007893595678)
,(1953945338924904851323171945970820399780180287994088960290,~4106732661836301205374969099618857080507785553822046272745)
,(~1990210344760323046111202825445973367342823923945404175664,~835003942637712484427883500058855369540471778845119135806)
,(5292358423606931624924267955196453507281471372961450583687,~4604523744722320855922007328027249506909204216497328914669)
,(~4890126675603212845864795027984940656522518118062415212105,2167858708195605343810287913942676221944547044977275763740)
,(~4724662486196191302771629471794068491513933019610777317805,4276871567940967172520269016383360143108757625256324549528)
,(~1654532234072654581881124544007470168241575768981582937478,~5562789868369389231106722514140894548749412496863446818275)
,(~1302139153640312960612793507767784833045084569598738316435,~2245390981199466240891193716951080006904221994954316996972)
,(4812003419669433151755298086736272034098091810948187019959,~4717300147792319739696845655801583040346580567805937179846)
,(~1155061938285170353647193274447169376321157347026006909572,2137527942174620073506777939157759581478860261252754846289)
,(2499094457677835864014122426291711865535907486522228388397,2141549124722548641792754641843153426123320740198262113425)
,(~6231765011256906211324317587087273855166336462378647069744,1283143724388785740301193289876196315564999735993646039367)
,(1502019903299341082174518778532172593638030623974089685385,442996955772492205474354123464280408189021677197383170016)
,(784426373168397981386804766461144818812093930502053575563,2446905009168722526404059274915334097242546378811749339493)
,(2039773525933969490088760614610730540584314214507264315524,3972012906316926076844161073140655640531918162857561492672)
,(3380947848282012807529593099114005623134929073714559661932,~3748644016740699550112786020200209574195144686747180766346)
,(~973217807828346471633261647622772969400514754413946977507,3288699437179022055208025967491379269477064497959644751490)
,(5328265113386855611671932864181538171102966077037908828722,1771354160112862639626812624962212016379398996468225402795)
,(~5974370610496143710762320222661090246289435782423977974801,379569010016722031836441468130049016696370109786096192196)
,(3475463527424068898155813320323163701724222680441921907492,4138569584074364440851427519587130549599996550308403709934)
,(2640017722474134722191240213520246081061212055363688532590,~5674306669682975332478989208167718621228434429236869114446)
,(~343404155786810859191923932503353251528842122117346227733,2221434728178908479286645153688490389935124213675691576161)
,(~4358428219581340112114376935849892354620298391597186041983,~5307526779390325452630392270130180339917318739464672415674)
,(6138642856976582969069835469024831895677911068417334782734,2141486626062264778523092298608146977317562191792711723967)
,(~2168494243353430075889507670435737378888585336627708102766,4559896180463974760495844949703562990829676977132572979116)
,(5066022024053076915338500655797161109229774980566689967542,~1678295520070011161078671599526951703673776622834555562341)
,(5355749975360444806530130292565964835468471076950207368498,~5574114856296744600519952090483943704857725628712538044495)
,(1579986852279459057190879443114698826771397720018903294640,~727003634965797072574009204402981251602074835201742757677)
,(3326234905425397407069981356397062587146296935646477363808,3553938379406651765610084097757086843327676927022666597367)
,(519628670380094877895618998755309200788216673597062412726,~4048861472284557806435466674642273337174144896285381268701)
,(~5886387939692433252744851720877823975177347306073825405115,~6200179646430115737662737007217281261587577788137034127126)
,(202383203816835607691407637994416576548999347828343024164,1848930576501702297590069022510625121503246698454650575086)
,(~3347283109222985344861870251399756380191926799375845061560,1510603755133543099615175234372992341427519641028651810746)
,(~2735099831641462208832192021678766572666078382312351322915,~1693343004012236018010037775411922509559490465001224227973)
,(~1772232628913959466941302354980122254038014110541309623535,~5523634989003593106592291914442170183653463895232366229306)
,(~1997367482327522802887539770010741453438361469194691027718,1945095283518562365341450218105795702863216155475665544516)
,(~6131823283319552727529547389020323789476147607625842360903,1974661476826229517153701240545595094498227263290118901243)
,(~3409888934971374867581346231276518353219120314480263529694,~5562708434176593945614884182772751286569663226402687071197)
,(3853269384022850201977531815667498989491153399389042319492,~5718128219233737098210264704988386830988279832002710198580)
,(2166111163205921970251961790369960416153752745547870525595,2918570212776061472742707109522819495627150267080706353242)
,(~2062501677658063171981219053864591835984076261202439563943,~5222653408745212363606589678490252092811401892854166068773)
,(~982893375711651967542433867325444680967580652832310928014,~4161976558622009045514537889985632065612317708113698951489)
,(~6200104796933585175594338834747423449263538859536927872952,685250744217233706469082944107858063362139099993087382592)
,(1200082600331867735136178657680386893440434069106421398841,~2613359008393605140951413754212748456879815872536993591040)
,(3844817475865421283297034122933404810550137084779524620111,~3700131813657015694953508384022386987069254342369700171745)
,(2033763200800883011359649730506936481965349399417430271132,~3767192963423998104915744503721494948623331384125306959586)
,(~640188243536715507830255544144673484367373738952112717241,5482261515686446508140949172096712494668950843824667230573)
,(2479685130361038718101671209354047253415127845106276504839,~5695914316133292240077665529922134490767335587923282396752)
,(~302378509451199905598382143655833782230707444638530450388,943736813038034616872535751758294724718667995495870963875)
,(~2746752056251375562780434768114847977397752224443652653437,~4588586856118947887793012419983919712061708186141495428046)
,(~3511308796166276519889190497194297720061032511947586348643,~4332887348577170047218934809065276095898876092532725279014)
,(4726934547515617360625160022804682675494739752284048210646,~5992762302765158273007288189612071037793932653310373702246)
,(~1123953590135134323828544183680019342068896246755298825565,~951875273941223676647617224056988544755401049896315525493)
,(1993080563492806382572670887164063617047210917084412761589,2125290845625839246524050126340145152768104214753737029511)
,(560772920393530442205208297019332678780625258313026465440,~266519169525354927126498917237245754275012968879481387852)
,(1696779370029386627479379587581515028976786185010691013082,3684175423005901597305704453135171941219559319033217991428)
,(~493715557130684560663943841788731334959395459087486213940,3153289993443681643589642994678065984359193874204927951757)
,(~4799572406993836973019988349558640702319332883540888948405,~4765151865695339674217289920435204436760385594715266939347)
,(4866087540745422870241972173498036628110365661090114733948,~3519434039097571403223066520468863022326245775142645348464)
,(~5254788715495371925001180767161622468919941055168156148679,~5444066369656388964667371758702495753955767510341234714406)
,(~3909507670048992250959568552027814140126167537500557997482,~3313437727219219647864370019879103351152972918865643243323)
,(~4130104365415924632350039346851339499656897307339127462807,~3669543343064822872173893880446383051616040800845886015236)
,(4232436120641121648844378608809142030929489570982156536918,~1914022313389802506356622902566518170206003799527441607003)
,(6176652112698794268203284106034942407327186700957615683886,2081829321516064079675916299022743481002834296079810856592)
,(~4246293385278297288404797645763322542206188836560149330388,~89696333151950370147387134619829681238513837860803514945)
,(5900435006709756775562623697730680537314824864049219952018,~1564461839551773062674463271611531349464700073710626922278)
,(5415036236661518769253591708683439522502062930392164393911,2349840127679160685984869188175223972778393851268216944144)
,(2777575687109745755648326339212112061269430526555278321695,~2739542625694585588957864032382664925983520999434603113068)
,(4444265052920270868851691683354906460983053244531586218462,~3930877563540117669739639387825257104677685411609573525438)
,(~3615244267154412295621680777570171682647718182917288618535,~1139590896466431954490801699775771961214009832940436052652)
,(1621732186097414863994809166273580672631553007885184115897,~3370429438519284022395664751123588427718313211401443450728)
,(4961937874613472939474606523266526004428603233915668835696,~791341058911856975119263028339950117662448431878440584439)
,(~3137053602722828794827278302793982070496383295035256375548,~4741917863713195914960892902525260895693045143283138528146)
,(~589427013906158159991861925874154952978043135124082657492,3938940361319305656085804916225703828795314421136012515556)
,(~4505388626475248617802107440858893843922065999660149400967,3450967047280290574896334344048923920337500293515774898094)
,(2219741279399502752186370137725172723261657126244771015900,4338829356605310141602984037931814393709533286948413969907)
,(6172775791216554315626880301043563394549912685789578896780,~809394149742707716336189888099285692935800569488526074287)
,(~1668061946452902712114999070717097566849141837034331285993,~5309134285274292568494834222369144660144386245489796846248)
,(~5456127963457232604616345029674744228714732393934974846518,~2230983589707748062378705160159138247799619030805597152182)
,(~4426363018277501859492137087084996022511266404407493461593,461393539323922812408519320534088224957012361708733782697)
,(2327032654603996830652279640076824038737418141765059516204,~3114719077400165082336188224332391992585754066848949361007)
,(4811943735818109257158139569479685024924377490464057041311,5363859942786882666013255059381275858183963331790603356662)
,(2746549926801286053718544532866819302813168378126190173891,1687262382775568576428740906498527829163199096284528042501)
,(2234467276178197933637907631289130566101381761983412843713,4014281443925468054486811350943872636883804998944593694159)
,(~5200088580834535404280488618062507308128170670320481731809,~3694652515012260734975459771967117835996056723393498948378)
,(1465185853637835698545317386958886887870625311536137585766,~1404825324337221237554277830057447862635483375259790155318)
,(4614691468215676860500945080345819894003765324736642346554,~119174925216762921709165283574757141965193553314161112068)
,(~101962594629016586832161433299348120499182448757507943996,~3456334313124170460792944215073926383280679964363307238723)
,(3296010210077506889746538783451722728284313765828169736771,4224255412101539219850678186892304368199208638773396377944)
,(~1083487247537877183379232467936043571579945935780958609664,6024819560110967042304424412579641337812959181539187843248)
,(~3684709885461101763587109807542268713909959165703280185163,~2045779182940673198067338763224681816023794889093710423727)
,(3957497662208747849268291407683199295290208028300813878613,~4563267124750919230096028353816617480700045514845206630600)
,(~6204512605146448685786331527209568013838581522985496734169,~2138777220619730880326791064402176718418113636999597725583)
,(~5602182840069330049009458146912129427030274514047812583552,3728943427050947699881720825681762450586889273695748346316)
,(473638150703831561135177840701664786568883412195943683911,~5541675236371219328711289172202344953780511642250670008669)
,(4423764361399250997405950533213989489142759828400409375550,~3332556391176058418753992327846615161198850580496357975800)
,(~3782355889989321847796807341239888235091220275895102594098,~1664492469255320863772435603396032564537618419671008792730)
,(~5477919393316655976121405482541965938248457209661079697808,1598900009383373399133875289803290432254170717915652724223)
,(5418630497721882130909585487479254021687350459795953667403,~140945776474315344600293279803391932911660907099256237163)
,(~3700832962769818276107597289849919705693168980014037745000,~1417459389514449566627917064348547176904142203682879129787)
,(1165346101873264676710176367407855601305088137132720520031,1490048857105129222823486276073325527624569539250303910894)
,(4483044562778550382488167905840372372358930635984803553322,~2962722079520363282529064907614170136573864386812258256694)
,(~3887608738148775031224664423283870965685137998869545198180,~2148739164219536392145371088877682172574658289464782556886)
,(4869111353639324340735771026986519711415502370542226007333,~2750388465363129508414348199085846404582035282885350952251)
,(3588662034151951404121929450923662398756082178698077177815,5154433985073568193620036814060668771863951821058555520851)
,(2131081645490623340815496807208654840446208617840318559980,~4289816786116981182260853426844481284277801325874591915877)
,(~5266158636454118048016245412921788548933674499482825705487,~5036750341980867001295063836974407169591414484306475970740)
,(~1886352972401129264217096327197231011084977850336623168179,~5796577396243129312221407505497190569269516372139483439789)
,(3048161191946506303220174533856543141607193907741952633618,~1745598581604140139304812143556962381303352119581092915931)
,(~1328251214682207789430314725964963211471851415385315894049,~3118466451339013583707985015230605248197694746945321048786)
,(~2863541238292893426690204781511575103657602171793433894501,4020530295590938074003201746963450335095416697212412284436)
,(4511997892681080173498980418091659996985885853400396146379,~5346361851968325708017280777610402437346791424215503447126)
,(5881304210276164405914705303105348094743823083951039264415,654990587980187492723624070147690492202795763484412662446)
,(5237823094160380973093159846642230965573621037545545213675,~3963468975508167629926467417356122376005891588675581595176)
,(~3805792923691142047031312991590585921342127791186775069271,~5744665736831036696736711547394169054158740752797882861752)
,(~3654948850599861838886650327674050383368488109429962401068,4751164268078170088628874513151043075216449529837679499609)
,(~1272173718081493043855199055845958171275858927403044335323,~5168967691838054882800520689861410429344794427343488727122)
,(646860070463539747030931590332561661927105372023076431583,4877967136233976666551875795310334824179314386985224124199)
,(5111245806380486007823570113642959357767659008876260473587,488910382168515953238728150571711316168823841816977831051)
,(512479059845194943953692673331212411294773476288615963761,~1901081022813741463285136482130193652231387897625580944100)
,(3884634163957024210820393682476140575832640993238715299538,1112279564350779654786557083001278564627509827066827177880)
,(577552196070671433169957932233486513593583330989296485096,3208696381862700474988925246351366924429381378027674289548)
,(2106234764801667837450918623989817207356840795396712021653,~5232940167295452448339768156116741996040967840529129909113)
,(1407316621112893307411131908371341683116979060664979931231,462361761362543345207072666752497170102961906963502398571)
,(~3636635476077386125091299369946559936710571162854307672407,333235447673512631694180288837597330418186271109060065986)
,(4649927703359790479724197760789594496422617034821090779408,~368860778442500185837192817425467201806757512797547904133)
,(292522639507815179279224102236978264855626161024231357078,3087736972595590338434730533718617385672976362087091409976)
,(4504969080089621632406600122964071721390570260569566046965,5790282632157649434697766145141591072710748110236336356124)
,(~1334484120508565203185715673511362107818941223176818143985,2650791994811743343345134066329372191988930109319074895313)
,(~2839524281329897211067796889413114844590856080492909934606,~6164457758208667647759636559967295923566533937996495897347)
,(4443962344980173140943033286864050558380310380802814463035,4440875777488492926103004796426993031678041806570491918592)
,(~2214466725698439363135887846350033659971906985819715161681,~2043358155761295743064926317511962108979516382307181878395)
,(~3894234616220760555094193920150171657723283511363627309888,~2907232368454432816132278735412664890557540531864631430768)
,(~1543262002457421977756032306043781727940522039648722372942,6048565890827232959501961617034016345685878996315018763875)
,(5703900723847989761431869266027752836029755807107160582854,~1335378584264798834376203912256539498112340290866658352034)
,(2767125741064119773894331476189329870078191895608531201162,2911796425632573910850407540360739697817653932780779839924)
,(4841312268071568741626025662527897962132155231891444895833,~3826066823211017281675532946077169865673841814373840922568)
,(1342563381262817742599537808018249141938542635378806335950,~620313839387571626271260593988547636833093206358226059590)
,(~1706385483557103425469490379295598536384540049411924974458,4696808666693734162376718053124592604204052464151357528234)
,(479300078146789693698855686335348219735897853498900522454,602327024645948410589822103132569743737548582688127357027)
,(~6147325375861966097045742627742454565891841400193586776824,~1964140825600793492316227019251620220329262747252732067491)
,(~2783591349923440456094703215555424119044330547308037203096,4329731329756648491526345204293865138013892781550201408573)
,(2595819713589093713087236793807786696474591293683502399056,~5999157002530489162194723382213004062762182973670597944029)
,(~424215942601476665647242776128196910230477355492477666310,~2386650101027558327452912870994608201172882743530958586342)
,(3923100571232797751022801943321415588353835685655346719405,124419430972897006680195782278331347397044358470163220281)
,(~5972320013803952655462960471919845116602252256837637119689,2398014261167468029648971096016685067637070040691749056720)
,(556735447057342228324180113120627323775995808422653763261,~3586293752002409095154080068223668833867914985289284286368)
,(5698589000003001296694176093279123716430294993508404283522,~5561071492421739134583069143362413219280363742060809219129)
,(961460899682363974161624995622476032270855525475120476885,5867322006832603249676717544257978892234271021268653205713)
,(3438235281815314827499580826275691471359059660994473624430,5555532207301977826863742073751481510600448327245306110356)
,(~5908343877831282900354406549739158870146141582075799027952,643251976988746857536626909354015215766926716934579803974)
,(~318771846650953264421253692700250208752804225134098644583,2038628627061119284984357456605622859482309818339139846653)
,(3600737919520896078017141501432797616190549492469040336,~799881478677209255977954572664624695584692691440431743668)
,(~6040502585572348100199331012131228557156907719994007411322,1609616607080323661054178405254074012275605446710680044315)
,(662930205212795353418370815523046652876753271943146414966,3229266694083864860077127996613251170616400650866082745434)
,(~5052443316435338884639342837986522010340372736956005949698,~5921819972755311751360682421076522519205113144134161267913)
,(2438345965584414337204002605674234781369835974410717383773,~1616180201742309415316988981979753347044947510517541422410)
,(~2147069368870369176022119298635750291252668302620915184615,~5245465148209002936574690847232929565010146913612186775177)
,(~2626890282632168260041366272727181075536021154068006975038,~989158926334802653510997855527586803566791707781115050995)
,(~4965807263349868716728234024562670992409927665039216426616,5026697330628102785542950914318861150514654309649227794615)
,(5447465684584312205694169591314364035747753262043456694605,1924201740000950804115030009676208572464334356186138610392)
,(~5001744676939478017408639261111578287075717373586084177402,~2318918068841752409419748408337494109983540536301192666606)
,(2290430248730382700327958836868283071457043507390627309475,4155316202065745448508581321441410369052588230204202254517)
,(~2402301260135890305896547250572814387986436794525434929451,4008591056532655598954230739859444794747741173818840881699)
,(~5642153026681606316070927356770687173592361028412117307866,~5272471771759084817689654852055146210718251861879371414770)
,(2936703687578646388420792514410828304442120110084077247842,~5057354860620052870918395936870677591432036253785512995290)
,(~2831883381493903779982675980253131143917230901024788739761,6058105529158427282423311640627920556340302477761799585239)
,(~6088203559036771530151496351432887513415734454624257768251,3006079942238980355898163331307831091779085393367547385260)
,(~4556320137675541645348232866341488566648638092845387845676,~145223503502455829846857100676372712340825800612452138287)
,(2199390757264813699747890171225272540806146621166623171636,~3045587038057443229437313095365538767354825961241453264664)
,(~399919015373133032157093508143840052283260468524106126304,~5668666075578585621895415371248859500050452134359676071216)
,(~568900116736032698690728973949341540085290339333368048457,3053645204918897671893350074225208175508390745627242693439)
,(~1069580702717334151530527078041772389441287897244212431186,~651893146371524684744832505461258280139413588533277514596)
,(~4607128323883734404444852168512693770761219590203367118546,5352260866241829452722566747066848915236039688393325624899)
,(~4970874910107722959657537150168087896891826257018678128386,4995184671245687036708024395696726620543901245435446782653)
,(1777420955410440335450053803098222788694693509042649861619,3761019529539576611410229734846945849076715478750645271616)
,(~4023852124189242877093307364879947717305927836729240728866,~3939027830064756075360210655368890846830912759875522176511)
,(3567007775110745209029130643665658061623137422272670752548,6070087389190193763553396764091922665305888210548981757401)
,(4941692141152492094848452275211821048441628765714291294328,422881594031622870200725370480423491614145029184674097609)
,(~1374100171957735749944658649910201371870730801195540368776,~1674766974383136824483841900468921178544473361803828894385)
,(~2132976567359545514856332816514890059116962026295146705640,3426806559816420497728931185451311165391437748571393082496)
,(4759967741814464305895376956032260332385168130004427654231,~5440867869857794657936704126067690806945964186546208056118)
,(430956058218189587450580349663677643826737495908833357925,5023331807916214768620111330977829825268187158881643048145)
,(~6078038765041329758421112553674484198394243388768863063027,2185958314178607775231330606362557741208822874212411177451)
,(~4397542241080672614676717103511277422772763072859305237904,~3585713886216910781074018394826369351802224475426755931323)
,(~3901589397321517509842810205106990147633069394593540475533,~4664693294514057766800403013289092534050645715398343595130)
,(~2089998084064470894146930028827178529150577234425335235396,1121274277234979875960715396566785595242294019782952115948)
,(~5083364286346164679995775981572180841233662807812918746594,1995420790727772193737341573825773207179537816633907428725)
,(3001685027259938898317895258308597519810439458517653515127,~3789472189133099982408768469083936929250483577992955026134)
,(~1243827152674810743398709709128080452662104090251167820568,~4696181931777503647464059493615759466790653884756342090064)
,(1183500985054616977878880818870553931131660773084685250769,805541617835454013640398822597699498281207771829301629664)
,(2278287797029651754190347346607609377978019578356027592937,~6045927926949338238196625016304209871949993805240719171929)
,(~2324794135573463367019194197201681757638718464351488280869,~3185615965670788183412692327940894457401125118907107161649)
,(~1532645109885549729593548630805205237707593376316104738513,4241554136977560605205775070534543658152064671299727300676)
,(109382334082257179127645987231731337324934315673687286629,1370865799386161396542265355363395016107650055170575526485)
,(3179763510907396076747799344240313826296821857380913133655,495159877519378247245729333379561537685077403489563760326)
,(19879401715304173505651454923927263367304514430018391977,~6022432999482450949690803377705066175795812730342987912595)
,(4945552590396335185901648451243248920803656415077484087827,6221322502583590308840985817137859121547763958269427821844)
,(~3093028569593319485667827991103923303710611091092961268710,~1918912639641539565538396839298178010708638298226222874261)
,(~5558771756106339622867994782509992489681542275904714640695,~150143368997872202022958615405215361220551775544787394547)
,(~2319033100935178766701144477571721128591219000783129881581,~4902260763287420117342967475787415129183688799590679082939)
,(~3772637222869530064178822406161876006916093067486010529749,~6087629008239755170178620404297898696719257038215815963545)
,(1379987577416977034794357333499211329883428906624436171705,~6007634168879409765464957365426495577503464563682298122522)
,(1399563836983935158320980717330182842408500867434453051923,~5346246580718544141794196561355787678141278045693620186415)
,(~1855118494866326066870644168347192526045105573055016539131,~3774680036879345709614320053923742127791982414535645889783)
,(4126766994895505766472843857642907265437937590115247915699,~2590748114968289708228819294883702847325383159934814414964)
,(5497698608783179789761080665451226146450348990459682427553,2069139229724274978996893601037725149195087563811186842499)
,(~4701502730806786594179635780355959707249003499815761959962,~632776597103986473868925554023630483963383676101631974541)
,(33421655139547683134872094223485659845641133019750336896,~4318528028250414384119068468101187804338093101257259074456)
,(4639291398326684104151138451754292732912008477421715002503,874873190398789125601366894405939612889119795294107465117)
,(~5989350662657235300168575600131221242790576041151490481142,~4216491762552012966695454697543316901825523144493681950587)
,(~4846076291892437163431442146750346981489133521403892083954,3339929902944256452031011322809785559321268726568280128881)
,(4226636820687492580050729468228290474321846521970675587525,~3321845825884742773497427743028782481035225203818623898071)
,(3011028813707658766452952792290631259413231814837316987389,382130487567985761434486466001956197486971106551842876761)
,(798173268588371664395245236647198246784800200517947638087,~5261514812293034457585950183966587885847737610725152588348)
,(~2529435409725425283069793494093924318574902030791166452234,~91945005298978485277412073049630974649332010055187698485)
,(2368678378923506926301860187484336542896286322559639934384,5848302702075692006051325906951428168888968886675628925793)
,(~4697714732930299579196710801499223697124475945669161046608,~5044551067018650852513836634814258972917321595189804650567)
,(~3712319177522133185788471941107842614208602870493535139526,~4741942344486418686555990045360369649076643186495428476405)
,(~3457755803420948877521983565371299492414299046578339834249,2531242933344488829656859920384016911987657067839000761610)
,(~2262771761876573008788975052312066628083600319497553126946,3977522044282042722714757606467975961149051833320080110793)
,(408682693917317527201133028155862587322100380169230646479,3138709960924035120952047621627092288991832999468908990920)
,(2313507073542923185899911584420023018904412848698650740741,1341618706440278649030833824129451811607289097996002999028)
,(1147115312071482660507426256041974077777310178208431697969,~4022825352002604765947806479229915151803878180151067306516)
,(5362234137099552848992445224249948336973482739068843538912,~971469212141066770722352130799565813208525147871623833108)
,(~3827724251655158688855940725498452869903368665747922704044,6226291129766116781691724120917823224182415191019006291524)
,(2159109986865122753536099873715401384399704288587732618145,~3496883510109178612634359437358924378518020167082908116681)
,(~1299775446006339507862393571811088392846141283177361024943,~3541415668672410183727231464700637339569102379025133988084)
,(281547498562456560014009727571986946716421465405553137185,3636982203630825686457749515181734337085757011117611541034)
,(~3190048382960672649907920957048395351883533787536820380400,3104682930824541941763438787844483920647090288856546109411)
,(~3674698622512661451757842233406631534425277822807471398752,~4929446783102345993623539143562295832278793058871353472072)
,(3892185649779535075812527110606238201333911586261145322137,~1261713272337079269988494719912104626968073092202032628158)
,(4202574685402227201976877800377082418917188620312187769634,4490801973949255018461228059088529985553131362505126026649)
,(~2569600413841937989486116112369158074252387894217286542077,5703904456148579900531391630612296002733377368739800993727)
,(~4124843782471059415533973828580179531481643210337994540712,4865394983165412561299740287605983901884628112249790497361)
,(~5305627286180719005876023472038134633720593233462006922222,~2495130706930094160637573917013105434991493098487493333813)
,(~4261244180149205871694882040564396844480046430780401257735,~1332651185467296128524924636468347546533014257698680777059)
,(4114899971933573399905544639329369377729826274472174035757,570626558028197485614127981327993982634494640740421044122)
,(2371889084907759113339557615009213567016059334976825033043,~4431255376208090580171240111131902252678722567655552882205)
,(~1811666734684214848598218274504522309436830458567967269164,~3697908722471859688732490342254585978416774510040571541395)
,(6101781490591996048160267882650349396771174488310586636704,1571157204740695864890543229594236960464309802820117228711)
,(~2709042945841528970703136367840043808864848544454669885067,5452174181074839965544004289335226011537045801886014929032)
,(5492595931170490634708857795297229497866279644156088376493,~5303254142463610581108097752969293439545893857927821663622)
,(4920092013093272596645686105387358219661710485046709474433,~3026758883517774996271670519661368061952710448906140712821)
,(5573057997724355579948817639655791300080156856329438627596,~5724948987162510704076827527572619690005905031974283993866)
,(~4673588687774297186884214535944524477913548116131813909535,~794334783690093684295505816479627550097059490240932451332)
,(5470139089473030449129502936549667770379719621669840160422,~368341006758058522326897891878182801790627225906317517651)
,(2244550230421775383559250817462506905049077259129805829813,3109935759445586763979068786784147404828715606924453637894)
,(1680493786790812786115538410723377778343213699029245897288,4733530680507926647749425810382571462599536747435991148927)
,(2236780871580732535660484335505801494260275137414370156907,661946953141010909981659461858130258919277774905877996573)
,(3143969426820216486321029877587448064011891791402916698961,5009511692477564748462152707191685607803024536278604496229)
,(~2599246179766382481749371534506958313556419429991213709341,~5590446557122899381568113036451580633713188002086333192251)
,(1342637215223563016481000817034016410043404926649581749768,~4044760052689249361878817163987314319752150059445079657989)
,(5081751269884484970812599068423447892210541142205167832645,~3443345726830256929497947717039968998489934614997834719446)
,(3506148159571719118326475736799210441229872047341503173261,~650461258041915848458375376458895434238792246137691113593)
,(4797852014339594329921231762150261534452961641025763559875,~1587379132852892997279259021140273167463790454239959839162)
,(1665268689498055291971100347060066678929878763707486187752,~4382259120639962520674661768265821184033544520262201137279)
,(~2906433397277147715788020864432411508754913313217421807378,849751148583935400567347324694307146783944898164528540692)
,(5549135720794525471646739412690866337179008615483387864198,~1405015087705466412461611090109128234329845818775287946099)
,(~1946109648733991085755573908319721359863671650993300363050,~3536421156844181638726171566456829115411307911238483153373)
,(5128868309327696335179196371677032841071651088361787831964,~4451296760335580166805274757871267389577362165542836215804)
,(~2638944395729622285393173379598875058332045803311275707535,~3692797894760626479422324596442550734283711666856931455278)
,(3564064260848183053175017473291075334165791166572305700061,5838674349298614371896001019285956747105012461876544023283)
,(~4516419532555392615215953772918683018276440860788496696350,5355064613714666646216989070827746161048801310978483117419)
,(~3535600588938985828421126203816326712814113688395320440360,4067917227353495540912940989124558948045744889067921583862)
,(~879947939185691115085066352392494503413515094720968779002,1857505982993234138547504408916808897638926727730774638008)
,(~6079556473221881183973043289266521209360438939351751574498,~5069199661088837368344845602308400315454783277217135179101)
,(~2334005563802242872979057749492704714731766947127950958143,~1225334806679239064302856661550817377358204281938825689307)
,(~1793389852181959461105600614221699811266484836818255481468,5341832170223251766370302174310535113011373561422479781379)
,(~5320545780140006371865261731520564433790639454149218055492,1068365269459984307835589863252767601958881260353651273125)
,(~1155069175513839153613272955820108404111686844017418259765,~4971290985007918125541100701562061739015755671966672791898)
,(3619358968925980359226039300238066211315490213866697897951,2509664942739459694195510743708065309284697576277540111858)
,(4208180651856824234108181618629022509012363443506116701955,4550149798929547675905749452800600883799322568955474045044)
,(642376231586160753038097424662561580913124325378005995772,~6000000750292435337725674809959524565807966572617556147573)
,(5295872340707724942409768341883266893998504363163508443154,~2591590387749672765432788508658399704798696865333362535389)
,(296302128002158859304544590800969644890474337043602478151,~5233968238173343640946775584674453237981599195490803590652)
,(5257256246878819263814654740576158143008190308865226277128,~4388937814126015057584558338515387814719548797474280810821)
,(~2705010172993233813843397310613844351987335965211844873853,~4710526062159630195656347340690551316191144552980732165486)
,(~5973262418942848342451827207689646225327264142537806260742,~2529430145133297489173727833681228432618165144641826732218)
,(~1741462504646048207425157243824391026477090218583456731847,~483007465396851687563247637343031409639378664244639277589)
,(3821030798897332959580586454782329415521008448291497519919,3744950949769672472103076063141198011447872970480333854146)
,(5855937603164106809077567472134169667556796325136749876679,909342119357227179239221600784381680108277308758199409457)
,(~2630064638343700126591540539931650695767208190016736879841,1688162600877204949608964081600301670129966231384192678571)
,(~1042423703620667978724883256640240268369689667508537991520,537278247068564820702777870239815766850447901616031225204)
,(~2999343275068239214172136421542597526172389864270383937035,~379019989480145645850171925169564096348633785577730502708)
,(4642895414602297512579260509096698261844078276123794009076,~5857315002944394388278783950258981860023478734190802496108)
,(2810956227128844893713875602699443659871496884191134322793,213314546696804394688766207357822475900369259253263513827)
,(4031859614436664835966939337626826470076040284617770141046,3756072311262766143262560498211373684112385143549980884876)
,(1002554108542640166214679092678362070261420146129410734517,4654029678824861131127729986491465287178436429250348466908)
,(162108486982198107344313351089317393867906177890082458128,~4703772540165849092036020162992387777831680467233135207578)
,(4269240513486873448525462658635274166160208406559821790731,~2900120832249229865175506010891233865481713633173199788945)
,(1462191854862474198778645644395857327517065910520545051846,~4202587151649002575359409811223761282148123949838741660481)
,(5769564541595669861390926428010291043603009402078949025556,~2779647524337592953877299650019004136384293148139096916932)
,(2052232527681927365408267739402797955215978675705421269492,~1429330508714864043332997785587057288670940719487951686417)
,(~1562743324341490028615925212679465124740712754282850540901,~2289615431197200363515514916491789976566934631786426923044)
,(~6005169058762680175133887050971621442676710979065824443826,6070983821681319050178154860086075731482445623604588929773)
,(5875218935209787943215652610978585217552962719288907055122,5677565202173347794866893932977254876812829608832361034145)
,(~933309705783153834449109427455309682327236328854878210099,~1997792467070552151343175377884089053618548753896562501859)
,(~5890605606945850056250188241152567407537823379119045090594,~4591136494082562992967271723388897644427931671585478020349)
,(4537915297165037632418539029237645164545839542957045650650,4509416389373045209175157424285463540616779432156957674014)
,(4308615762616511506562343393813135741906493536485003073838,~3330813231681534512860453535626643435874158007120438956052)
,(3489556723440980863614530102901520835044623588159340884629,3346681976492057956570106143546679826784719445632308303299)
,(4468230537445981283797989810653570571419435496363292522390,~5391337381901332725409856615722470409342110945018362988097)
,(~1045041023739807739174639184257099250655399828131085224791,2548105037829846342238137714230448136242593247009362696834)
,(~4428588402731546234944341872186768566840749866552042742039,5775579918614091116943975734681055853702330445620923668816)
,(699237300791214825493880683200451712976881693585271630272,~4294384402893212123854301822138563290050063203558073831012)
,(~221883004135469607718879211081543426073338282732319608137,1015224148629267411520807511062528865127952661295510647760)
,(1610331986057621181815812461684644187436657222632579556938,~4683798178698939779914597795720376552087140148012826681710)
,(2175912203342120455591722036303180073122920360451115828055,~3691411470950322005565552413239220208378352975452257385133)
,(~4083735980089549059921662125171583911613176769463757120674,~3079305699758282263410451972394149436660979742868261122224)
,(5171872137392849826826589032119061838208993202803413428581,~5614184256662507337395612946888553065749669250240317669646)
,(~4768526800836200814020277165693732473225348347678160621731,4595832195386318021678086068725144590319563152225927337119)
,(~3865681280541051813797551539361255210615850094336125779201,~2326940460769324540280568594489592994391147745120197827001)
,(2062031896686188463096362341315398055643649334758079713028,~1014434954561761344603634317320593245825098612115641928256)
,(1301196685167252072283482258275250891753006467887366013074,5481194094171065860837458308280434363704530129981271500847)
,(2036200718637438524068418378248777024649431394581936192202,~1278471680193984778367081123634815688846369834483369820759)
,(~5477466884106624377199465899506576741106616411789239927471,4761852362125737471360439842617043230602775201565606313794)
,(~717180605799901274464258385055533061888743565497486886456,~5384111942233946455761674530530835986825062952677558272260)
,(~3970073140269752409213801215537061631265100442127889389797,~1600264843458823767604290003129371680179442582372621492349)
,(4733806510909159786951311047528453556392078457135264921149,4799929993195369203187990744353115459052078359529875152595)
,(5917510522002099930804853941849788969576918149720339337770,~8042439971814890920356362309572396141081137909039500645)
,(5216628323771920442489617077715704317906111756374804944180,4940768582018650266791374752412736259623506452672344812444)
,(3095489901411383091898799838011427672164897765935629524514,~1893465150365552671970961684891295932096561088427776418210)
,(~4776959726693566501026088644924582529497136937342505716472,5142403533874181784145200060748376611380021966029678935573)
,(4895370446779990123070576000495994723252823481578521666605,4204120561675854013116981349559065270946986684025941373415)
,(~5356625659071218377492042137675015984820791538298615588795,~4937127022965213323816064289715026708175553282011620560654)
,(5665152296612556595001754929846063678151682496395979302845,~5529220661165077342395937350567538111428089043703116437340)
,(5374965585644054077357876309824848853583397901265877605167,5507253564712536569240574726233084614569502128206250817129)
,(~3598378224412484990990005477535134128122407935177272911986,2928231342256432473708851384483536639794760526674951403369)
,(~5610969151466646581999945313723535258318119648337798556403,1971900688105963431109261218092055150648036633179611903507)
,(5754214995335311878557357519326681104279494520726253598420,~2037039163004285007662876966663786699612399650724063934632)
,(2098448840257362913253201036411762813483256893839193245186,5171047458397641576106751872845424706076734906256233267003)
,(~5211252892535207435078613679276132446261576578802916330460,2702783858764862072647052929903621124322138209524202311237)
,(~4955033602005195662403339636055928328791397427156183155671,3751541830204231600294177737522402200462455663122315772205)
,(2437141133119594557345999764465173203377026969282326217737,3348160750453251677519575632746047597352081696396475838801)
,(1465098190521301100184234980473281736308817711599215253076,526175087248313518418081480343701077004359350108315014587)
,(2054461393717512659058544720421506340785565410278770077324,~4617450555305497086145590365161232798406145742218114655055)
,(1817365441455858089004255181473078261709453718028792912891,3109793617299369596700479600455933541540702400718300921923)
,(2937850171687172433187197982439872639050249353210308494342,~3539529224813652116421251447335707105266682793827262916822)
,(3347378001349012736546429797277027857892741030513043481158,158918223247429548006568485161784666098063033784941071647)
,(2291432415666353237652534929950994200604624338774364423191,5507621161184313581087377696178652204610894528913734394447)
,(~1960992097982838378675482647104214060671326365813133593299,~92237208881032353655485061953258887001929674289869484466)
,(677692554639465284922233089153929925989146375153188075562,1193059552222045919328585002779981036701996437782894475369)
,(~2462841025333221312037570596791795458304642940900841325583,2539418372758794503650358102528918586715466688782813367448)
,(~2671354378565116854594911961970462999443773599758027358617,5981254837840451700691550523632224565032364972454750644668)
,(3038368835265538526651879016193766561049809077982556693354,~3148813039669161695234446420300943810357000140073263242542)
,(4918920914216884860896154835096887113675250879812102207014,4694223069448549285195566661073236468433571776703622632320)
,(4525208891131499387609578756622923138873536207030156217640,~4720763765404881060699905751019100273590033092824169995307)
,(~138740128025846427262374366480031018704956026770356822243,2785743554940057430327879920155623994158134561961428558304)
,(1708066010844022750233702586754094690697625013911150284222,2250315320672614838793213262756090132213820114927958033910)
,(4870104474929241839140129132159341250993780662147765966321,~2539561966503714822994270299586444163822637584761967649413)
,(~6078354807713435616013215967866031782551422609107985314051,~488663306205573405601514262265321992478887868062155775132)
,(4008299645291399827416191373889401405261505173085294330886,5824064058706059985149847817535959940295988671899067922489)
,(~2032877508943249467015792217214128267824117812879315729181,~3583678557057993773372893406582129581069103049413658822775)
,(2935876830321337922904350349144606332874272167489292872506,~23118048030017026224097827898173720607047622991040638149)
,(~3838240859501876735011709660920717622599116420723934760230,766370169159093507572360882132239827237894405485424139851)
,(2120802306214190351918554001460103400126151018341959999105,~5924665562472698770113010373802351529129775022989835450515)
,(~2550931719600370657670887343929289747026420580570878599033,~5125321038981286534640242258896126699496328427987535617334)
,(~5330895960711139129370058067533360456504676032200908895830,~4620220147014657199277426745393179283860841366032090978323)
,(2788791542107882966778750103027143583550040532633825872963,~1650444886607393682156765606482276146467103457854544394322)
,(~69695324353182237176210339302283048369349885246868342792,~3916547923859412289114490417064966197881556002086786693318)
,(~1867322359654052910423701791919547681405360723960652337996,4934091233023104674629305889034552461383828148731027883122)
,(~4762037429624570170244072605206722158173421232609597503867,~935451908704921266262612255899564361554273902699726887533)
,(~3912862670127531050516584918724057284203945617247101552939,~4335389129702403106997569512291504225371098654093901900656)
,(~4521111264109290521682376097023275874998186367625516960207,~4765347724336835022704986947751511288353015867091979244089)
,(1675229869678231629128655058257914387251836783810746607246,6007105119501662785351413622588285960742223719250366806199)
,(~3693679955857913435135871463406579466139339600690613604090,1311132142742781487064731539839111558489415509681751947406)
,(5549529197370277414204028925946990830997852432872362907052,3788322810832681543198944201568986150445361505482680127394)
,(620846082090524939332055918939230795225709738034402617017,~3529214650106710591235127760743039371138639734174936773934)
,(~4944460542291289934690644822798804136475862467218362699362,3052846399068740176425062599152115724954335645551533329027)
,(3954285531631630405292941229785122550879241117773759302179,~3802275028547124996865084414394952974967291064417397005532)
,(~1958880789410886236797174366083921847271164453343868984101,~1050810822490521147113064732914411857475870859637988542407)
,(4782669556166852138099070158293798743554233867972703902608,5708330690528329875185522012141455805279820105410964360278)
,(144131230301864323460572523707333978864557858922072620164,3134561083566344257182660910698694422250845079280013086364)
,(~517914520716025466090500751458715182318294982002837684934,4831604476474039595011421004902972702901508569973308819668)
,(~4816586124147377960235091576949450975723725621297951285134,4337720945364193184798710834580622027813674837097533414133)
,(~6108052389566906391315653714940835799399243555079575213936,~3826756789603204134415553598992845884608679932095877700198)
,(627869648402748569650796474834704195913885433538446635740,~3714551015137850127707341762793171378002235001486411883085)
,(1244900448845405828276380443919536100260853116458845872635,2472118253843143702016250422599433660182225561941874491655)
,(1265430814153070973577919060203272357097201451322286530313,5151973342011037197482756200153369999579550742922291557876)
,(~2609587133548437896829448049923786116999636113986988716058,~5335344244573480107036971535671064107715750122715696273159)
,(427814876224673077225482927749972875571108203137887986780,~4046627602267642109485165547106216931323876609221184481479)
,(4309465202468724178794577519637824112559417788529263878209,2093032028209882112904550235201170146073112006473886647192)
,(~2789655636522689658347202782221829021174478848566336976263,~3059908822550276982062448876096599165655373645424335807475)
,(3569406434980075999122031267855014929093570027057845114879,~3618677556315660445073739118061119351193058117826956625096)
,(5234676004548205926171822469298144063428166283675806721718,4532751360559911678780439157821201489680309966824868185565)
,(~411566441836875369724718933409015735640281459675566468000,~5143127166875143120303804048413572276613460883739001976957)
,(~1019057880371839306444285529760003347618436340188316354665,4098774035203164237385338069983073289098433837072453203289)
,(2479145322962288287900794301887483597389253346930500973329,6080412859883474742371417065852057591744725249116322277796)
,(2419977242191226873908684596746516679527057835980953089444,3448951891998812352557510210839455401742754615558076817119)
,(907726883888612891149609252092464497777189533568131067275,~5029276039165573364694983548017789353289743357080810947981)
,(~70040489893569363629348419482857461158767118241760235775,222029244431305065611082903604801333829464088617014808231)
,(2057157120399330838235773799970701141692999061744178013869,978401258512606167720298528080136340627430219186068071604)
,(547509270754831895877740883371522099361834641036190287018,~3323549090616938066998982851213891501276724604371633283752)
,(4665316076618387334467311247127202415628083793732275903614,~2635472292388353556725388407585999454123991728452115848345)
,(1361463097022241501609855113582288217786159911488041764075,5646836204630233998019006983850043900646778557895538661152)
,(6242853758632585149267910980406774562935530631004635150708,~332241626613245999108187996520076131794017614177253170938)
,(~605464136675231303539535829352649438538410197061773336135,4150240539191317275575411607868097933470384792461678895771)
,(4568261278078247072664040812846624547851161747843556682306,~6105297837519189892191628425142321052351404641792692305540)
,(5666940874087206266197459852333320753154622642954786822205,~3295038108089517102489427117445564455391237842267051876754)
,(4507723254185964518214562842728039888444834177831027713598,6139335159804688805492473077735389582211491947080388327357)
,(4153613467252600465815197176363175697795004628240872283323,~3548476311882866529927255471865030043086223772071359768012)
,(~5555355880440870299085240263847903769669573247331459018612,~2416944404940183704146272853352431831773682289702372740148)
,(3084195818632059798617046973682381849034953623416229732347,5609388430205928506223901360690735314400846572927328815308)
,(2473281388679685435728399285036871311424873952154756538849,~3411496647538178624679286691498503549212142667924180362379)
,(4355863463714155269996492446495202023250107232346302077814,~4442270563587404736215021447148605163867895547563356268203)
,(~3462048358621561998152698227716841934241881149818126829211,~2209907576500872518568405961526019346307281687690895478218)
,(2270795648013494769212047148143521886967916768966974868879,~4891356162819412015637481496767791350529349087472762384247)
,(~1237999335408999455778599910829458833806856569772342440557,~1570546680236147135864053532121368271928765128130607873910)
,(1149677980008831509195340365235198452400540009116134513762,~952538999044945004175885180361285575476570114292524761325)
,(~141015742949376193167894756376069309290135833733512213919,2377037631491020226251590740246483542963157123376020060952)
,(~4070345487513760468398312953877572448329186755732343565654,~898619184788613429981685218061515896436966472347403841015)
,(2284571858954138752620436669787805843558732333567183197666,~2807192887472539438632113104761141290616227611849845867307)
,(1922257605010893324830358839094991052201338887910174830033,~92402804566695345534452290942224728462303271112799296969)
,(4290784985166380845717668955805260388814468657441877521266,~1754896462783036420322353056382545716441304673776944513926)
,(~1665406422315064792265417697693636405268642377251837153077,1196320399041518511491480942443886312286572336587661448174)
,(906600245056484141492412544030851177423657362944687245822,~5344787061389386068595183379760926263299557523651546797371)
,(5655222710125063568395446192345554727596279135869284472676,~2561933795854779277293748477577412381928279927386230140283)
,(156811882499855662003789789796546481156662947148830698625,~714416240258474292920844797676666251684861934677390828166)
,(~702790229011591660695422183867673698248030836379590714728,5374328615132867580384472389456284559312677888262257505407)
,(845669154543758163361321889298870259631561259960458762806,3927710306381675999867185847772927704639998682651080673121)
,(~3975681459018701542876033348365252649621333798508876198255,~5467445213454162199437264030804941668671273870263695012360)
,(~2440626901480577354278748182282720556790014552181313279119,~2422129314295166934581179682396347225438884536244456860186)
,(~4941778910695299526129474385480881559873001294012163984074,~620407519377181425126156417326148825796415707009937159961)
,(~3996301584816768276585384743045768960142211071698503342711,~5876411041715371850151718956067629017987549500690335996804)
,(~5501082234623739898260542805047779999053482873718499027536,~1463464507538350788301250878629059797847647196161408455838)
,(~3476585452206906253160217802401135713438420099181419127066,718637881113973512976000734077613527601849792001701132513)
,(~2066104724525666885856854008050912304144449702034590308441,6157271515230083373795331527350848359960912320015448921226)
,(~2113008466712985478131774577723385295805572798832427602675,160458878447643918457008079950397765390439880168288540640)
,(~2248996263434801117085571721982484108466656878597522315423,5693344165096106318272274366086209938394221053263536674314)
,(1964136678826296657690728130212906746778229948887883467560,5718645080749565503490214053951497322863897805997102522127)
,(5695735400080478016327373628666904527924879123768630373734,~172028111736615123472885317571494233918094406335577619572)
,(542534598291727849690218368540890388429320890982356757068,3158053931132402819710496184981911463775040006226113418996)
,(~2367850613137961661031310707897080191861839234493818299186,2659648730474639660666538769095318404583690333208383446325)
,(2889166379366928503129755761909414209612941798689906876800,1776866064592712232726779524454467491580779929737539116489)
,(~5642103632200501187763720859388841493305148869058287729733,~1867561720184879953744759590910300670988279697210639457930)
,(3520536925788419036622554475594165913146139960235750720130,~1418277936226430920034107248289485305494055932274050245419)
,(4786796266114058537099305784093166318701781312416759968001,~6227734602782102575966430021122425781408355527347296741730)
,(2300104954213306677066273165472885336898718368565334008044,~1231953751909774060376676115700920001171681759751390266920)
,(3707683319312808399633391060146964962688884952733027192583,6208985403334733320069187896971803518523813470168153511427)
,(1773765194869714360831812862625699443110273891924740693480,~1345468259329275402545697041873343049689239834775577548838)
,(~5138134889737176519451011291466452809840310960606545120510,5924415843993069177710225133200885397059562041378909620731)
,(2855280871093098745017136269195535798876355304621051194943,~3449358373151449750751577919718470396822591246335430389428)
,(4328793144037666455051530899050096702042972471109521202373,5799044056528421838066955787533830052392134297529342114185)
,(~3877697150685549315555604172434742723358052355120586998420,4560690842726048565278790772271360623442606504492966000815)
,(~5358405796091150298074202694096366038165568980753006861895,~3513755854842971514666620989531095968599119396695760389379)
,(1508248379110029347327437146194997101796613535816686603101,~2038854809259682352759350021239667596676483681437509430028)
,(~481132908059658240341834581548717247391842563222339270433,~4297283421855846671057997856474421539293403940129043426303)
,(3974842798620274754918988947799676098470610825339415464273,1693763316591651921885102582719388739390324959733921339119)
,(~3800140917052172106103010500395029285858623707892211878052,~2597018409493906208044724233645950425983964144487666701659)
,(~317842550560387321529542554107898125842106143105277411845,453453607079266627662052064647522151450374201399641967463)
,(~4128400236772630919211315290029014200932533964500685112964,4374188238036346783241575740592988758037851907092603618236)
,(1591173671328962820036948572467715459231447731442120806667,171381637802398633409535661817584420591800763143152704852)
,(~2907368832494140141456771925496320291674295343442091091605,6218595194001075242678373295962753850139743095283422350230)
,(~2873022541113466816606413174221714483769331951895277902818,909209791279995320827530093223902057991248070485849754320)
,(4848445977871515934757742530569135034137654168838827878489,~5002473463355077241762088265550189298121209885922696937217)
,(~2558065242578140900913441421786940369383191090837516565779,~1906396173970712251634833295966250498548146737162020905504)
,(538657935365161009052371243098752475801014171544106625642,5890211945315808100364167248424754639929848901571822027247)
,(313047835369109954840162452168419518984821632901693562316,6096594616523467170957975392226584954638576663658598031063)
,(~1323496994667258693211185537205519309976275020203248223709,4647867307896836898407696326728821650220831586022938596143)
,(~131119421760212378794658102769399126151977237219133743157,~4602671835808540284328211177822230453860836327017231267608)
,(963321147653064259495650784852129641097145609130893373104,4137551661944578384541550354567685281133095247682140307888)
,(2188813057348128852944539208043259712660091979714096415066,~2134107801138985098384526350821503022424100783124254979526)
,(~4053896052857931342883821616028612012111292775844285923816,5156299505409359747209512430497253593862387357974126521023)
,(202597003271749459937981591800151002967265153678840915090,~1985322968326495845515329874650546291696621459839175446498)
,(~4781059043199315578923759642295199363100875198757712394364,~30086066335588002103043399812790379697028256856190017148)
,(1599250534114040478894052053014921636032832371517578059593,~3780195606185058430592875320131242403354429645199763935840)
,(~1841908638174026680354523982034483164353745084049922624190,4509065759767114535190569173037121607599695974519415231701)
,(~1095625604269333121554108460453699349896591985909132490454,~5000120147743844552741673798754495996740079463541548290624)
,(5527522606007203351183433752511580990200976374735017778163,6176166487375163899550493191153788716349212849069958853971)
,(~1995470097629101554384893579019497335687192427261673181463,~1545550178591591794490908381107675088013831335435626435423)
,(~3812222340024892348927398657163660126239580049825267190715,5478860440507393602707869017166647997411569340345260215389)
,(~3864796438946557656544240430223253650580977079557753478161,~117739339312089979373578751947596806891245279796609373074)
,(1580063980668012187998739770714300305228110910720376188269,957098310387799697869561471052528367780663507757614084606)
,(768562016548819863797665570106445236468024219206878282533,3418312838839885819047571887049878124523354454907145410470)
,(3340868816295162195567857137084379914800708060197260463985,6092249412888034392948406095463242480832915597846360568940)
,(6084321722405542181533137752324330613989098275433274867662,2128034792961428010286324165132211725790686540067477752555)
,(1181235869704057114815858570936157392533536573690371326167,491618007315687342802172844066995654127869664177939871202)
,(~1249061438373861856764271923283683926618674790552405633295,~551614566512254502013386284426374064691989471647524563296)
,(5421526841295734179566642177949548697877676258338848745917,~663229795402505885907657141635256690076650505760953103497)
,(3771198130534082583247009724691585503446605288340452552664,~4800669436524376235047413795433847033350035209410483120056)
,(~5493999268748657464171759425079231716044133448868854278521,1713696143094231490736497839519621355896872511937448421738)
,(~4405459791780231647377513977802721337488589372690148291520,~2748679885411876493548904710947304482153387265622743002225)
,(1924563377017352137123633184663298249675361967559297746608,~49783048026031223202385417332208047600517544059289496764)
,(~1329148353122580654021175073035183161911143201708612675185,~68519690551040310180154030645419961985630576110120077362)
,(~3542255477851360678312919919771058682942738166138294417681,~5730805951106754642733088535580634621788639768705031574105)
,(~4664704009875199127774548227750985352379306204881132683711,3209605187261875380827384783378233491394335739079644967378)
,(350331337696816467734832914280804618826432914390547553819,579444819395760069432255873575067719992748480690534092162)
,(~3043208471591687999098743679649747913197970937771263141038,~3229735891353725570236946300992607009994352267510050334423)
,(6072961846035628700303521636908506593940549077582030550668,~4506568120839620731914585819343178463981988265168497538723)
,(~2291660917683971697542464934654140555381133830074572443937,~495518310948526763089424857154808675511441813756567615148)
,(~4144026456778036998882072627144671975625698192240278975182,1587756124274248016711467013396903991002710809952142308274)
,(1121523207751991236987093789089882419240725339634475428196,244024718494573814160572493144276418629529132227761678152)
,(~208605546191768000242376587777230440068676632990929310376,~1805086306211600078153731061609775338865370936458648939445)
,(~1076123564423006460934681725416519570237757828964403213579,~2951447322209561735652513200943207274098386638568340705857)
,(1871135180869146100420366813452665483526042503418150387426,~4386584347581998319061385690225062451232936232883700098745)
,(2752166122420236520845140803578600824250024462031388894564,777035489103054426834189835397629999060952093885650452312)
,(~1130104724062240314782868284001634132603286201081117726855,4601210215034418946888176295372026013104292198253756853547)
,(1639105965527289408790174904167030808854483350993060390937,~3561260291180208888097292249523028671390052067334489009134)
,(4185146298846464499447670820451535886766066697943986298469,5472000429919873790509777140400169172696120452112479066870)
,(~2007339383322555974224650417995263753604505147629161433594,~1158253081365936153254604965328784201670991576228666799313)
,(1972883315533081659295302318167700642939096529765157638656,1015902045323643230105042433722990789884525113421636940855)
,(~6062485394255694677426644170774081813456693892755483392956,~3983908391435580002460413854675245920496568230149365745493)
,(5036308065369036438388178140892177030474759019336821726409,~5482326311317912137231624184025016124933547261729413372392)
,(2874029189793444367845768011469452928687725498287868072983,~4369325840701242021983103612817933760487501404186245175030)
,(5214072510953047607325501094268122977760899953620379878453,~4703416975805252258327200910595183827573074392051961214862)
,(3296533418598053909586320366316631808309665581293246991115,4076945801348395542878216797280678860332969151296744308186)
,(2568679792964687710278285588635612265041182721842702993416,~1910132171352128553555083299336774612728508747858027024864)
,(2934287018573524244022892493691863010782157093650199647312,~5363903842798250830970795720378286992492167852387938450602)
,(~3034423189015483733174341056069059013676985869765889350226,~634651157703501413437811097140713092196569572773369302005)
,(1420789082124305309241972902505285112532540955505593455566,~4966254890718053619672009389614035052878866052258247218296)
,(1049288298308906320169906969866224068171601898842259681685,~2824643975154563264413883507647403569996751519651147860532)
,(~2376901836945719579202975618348725348735851234753129212298,~6225414494580903738923483877017400609506493392901202973681)
,(~2306047024831059762599607121366833143193779824049371094657,2882831479582840656180669289862352866185740759220635988450)
,(1909440246059966122943426093277883215613097449069761849709,2854958398341675403600325535062420599698533724584304095945)
,(~367035100671413983796052294872090518043611375768570943610,6106305514034960069111958393194249070311001471460710800644)
,(3302095799275818385537303206183045664491313849500122252653,~6203689103563429303070548219514098515500069207434273773363)
,(5228022386823573543544095228844303461858949781376244986711,~5076787525924676075836757834062592619041082239525849307881)
,(~6066154367351315391415097418604001915475158085955366199930,~3330547096714276081922156763356058126790429660802493157600)
,(3771394490769588691091017943424500405320393969435086172002,~1818863145885604573442146262265430193184230176240707657619)
,(4797589281688760149414383904704446709383718441938917692070,2223534950170798722155294460898481846464048761931296526889)
,(1489810624646566198569724278054711612604302731105884630580,5222699370158574593332588365794293699153807224394074752996)
,(779730694253030006178479586071718368058176487439358092586,~5887214605673822184876405791731957872800914748510211140758)
,(~2353249731685674427001788496735853781834788016614277556529,1543882075479585339948648806954855318898033279865706342656)
,(~4820407630531220702958135899393365121107154618228539112133,2837921549629015753368540937823403695976190422893775457606)
,(3786138150151152798538667798302548033940307675492472209322,~1187108441754700340075728304643551279863514876600315180814)
,(4378903946449823016242984333754890709229220599563325294482,3561787808106193331540038778696263042394276147351805853248)
,(~424789140430111857440361716541257706946295299608425764793,1839989290186768323849401227908749610773284446868817154343)
,(~3762488325973191206227627785214320271857320455055018194675,~17823963037102234111317426881884281344917563677208495500)
,(~4347991280276131715939690090325242032277250680405526798192,3109673953847805038734985189182045037216942652350900414597)
,(1069094200261766415968220156005077297487743454440551043301,2670791546829281162734580970378091035532105898563592294324)
,(4641410529240524860143271201173787843376799341524436511125,~3348208454550645434078504341517182313037385127435659625426)
,(4513515954532490049517421534759462694357445298732781698458,32518972028956478402283587125697855003797145063997149576)
,(~2101312901189630918037513245319243660452524090480094744785,~3892585598918062581451023860803045743635653629436948645499)
,(2067044231584239157065339705548112680311334671515253758108,5692512479496583621112812828139285253119300273964384901834)
,(~2712978894272807772973739688494175055508627603722734188534,2420371251322028475992031714623604506011994159424457424800)
,(431675342935161915498039250972210862309000694931855177780,4335471796803829840423364814793652369307286509018718577240)
,(~951027570409579687440690695326336031729593988776830014204,2297967612367828319715259248654285076204674681858708646634)
,(4815419706151793232994037397641965549708025662621339279669,~4686243209163168541268472633503730777639773758925869229044)
,(~4790293823256891372524069270571865313630516637162554534748,~3670999149096672605303661258871367928370405611897853387133)
,(6210292394208421650906405871568279940159504622843081550577,~2972069216673384348630150723925837458703623618489860305381)
,(1619265841507080171167370889552291349148443847318333852983,302336484809506185330428768890876479856734757050134292663)
,(5882720167604898982975899127870824432787616871066138838442,1960553439159097323932341068466433253420513860751424606095)
,(~6224249569144023954207802497117383871436177028209078848711,3117197317230930573916451186676808354422520714742393685098)
,(6086228911919747942633998217283656049447419050755105649883,~1324222190560704647779919025625479267025261218720642448685)
,(~1055018210818832817644043192288598963163570642087471751135,4226404152367862276931343502498077778736160853271012448601)
,(~5694725529564349659654235276894239433206770848894107051637,~6267232571073053312239548082646827353970521145509502225946)
,(3045098929539158505142672526681139617463888164745237252136,2045963624504368243173618414438032619499527783904754895593)
,(~5607381703741115604996708733377046927714523243500645811104,~925286642321709054916094307038288542724722310908187818501)
,(~659070013424617335736277566681391559946226435393287416572,5910399997858096362075925565052333095841976093942104914235)
,(~998905896325489307608240324990243059949252529351465396763,~2004751156048285977010501652846118139562481701886184418614)
,(2866198666348402473041491107648840691420400899003585314458,1514280140863431892740032538268221553499658962774977911457)
,(~3923084875644179847263125655107276156015214549036990738769,~2340980237261537889536480960651773222628037064136335324609)
,(~3178529863794292680952837725294193262768076067872136460985,5801371046278350240341693890737026168858557478517749774178)
,(5818514620564861088487578730954860135568103168759431215440,5656990755298569639897038084451140219451146423696938731834)
,(~4547121913136743760974946614313692595100485941365038356784,~5843684178962839274036097277887962509567109584671879367023)
,(~4635620988945439148915695577174371241566598137888581222256,321359801206312331466637175143327353443769736167970500265)
,(~5669568349817147918258116788723923686822790118001290109129,~4589869779616315183169614196981711675185296629203937505731)
,(~5446234868224246965359023261919365236016102626788569985919,4808290503222073892778480402367442494325076164696870610775)
,(~3522516636555296889052452297766447377950346251986278475266,~4748675301809343971633737769736457853482184241903467281989)
,(1230201255227395823517514344201291532772919238635432929169,~5504043616978959565474032777749804890099202713222764252567)
,(~1958175811753704422971455769000831378207540985336667295327,3840329952103935727792312025490836391706428713122499173572)
,(4834863441959033056889468661480668296366256295769739799154,~1848391940218417105755029600934846452012120826892906862384)
,(1094264921364862456688292711027083321486586892386797607489,1877360961387403897818139268011718610369899819247668885716)
,(~5426660662614947170816407535303281855022489779621358625858,~1049715844253002775020791467485671278328927751433697548822)
,(~128630083874448718438573056110535900725074607587905395485,~4489317202679835341110973823990942225685370038863927547068)
,(~281112217628899049639808036133469647856058059127421595056,2189745145398504233780568352484001493910624436590819825589)
,(~6111170436485696044415779314864085461043144565311124702358,~1421231888137970404559073521769810920385411067496794826532)
,(~841149924748137628305181158013264329838767311384916503965,~643574503356515347398845518175572426351854211907245782663)
,(~4799370255953746349052135863614215229479900407131410912146,~2781102859516773528554328812093483295903952036802618874246)
,(167012147978636074030276414553163333221999507193845613994,6250230117733796775059693568261081374443806894237722997944)
,(~3602965457390320963458208821737000523666772619410076787008,~3668575844644438934706152413204355594277549182925597356755)
,(2522376920603162081648995752756230596767267546848574784738,4655381708850466245538909415074153797518878749425603038067)
,(~2672662937439398606525269652585098864365640004531786125993,~1931423384330318878129136035699064531252269818646599133990)
,(3608119390299312863136993575942656936802772145915202927387,~4242720719990109821048493484965900848279831039595143072571)
,(170005496323339818978333017563363486240831281759989972097,~5208322905569266890235663315608432884088380966175814030600)
,(~5625155280305276144250279168982415963023179141864727599954,~2360244110553349081265674579261647077765542406448846572008)
,(6148605841533999221876898356326630583608751463373219422649,5517601448008965754775139509577904855077929609727351467184)
,(~130250069639867061472076315492126060196365021824451148040,~4551906251093666817254865808366155313080344363837294581315)
,(1654150066384254323631920629456091465300759272820332913663,2051001762498772526447884122111833026740655833898396079853)
,(434784366405179210819317082572705062118931453407083533897,3510410344146120266491683764993909978712717762118351450993)
,(4549330319909063710226520345357011861237658056945491906555,5416218546411309982613300201088843830438878973100759310141)
,(1026166869103690893190413798738590270729923455718270796452,~4129530183278580967493161608255700917824628318643878482435)
,(~2641178463865577478611711870539625625074300603916031738214,3046083381363316452264074618065350724335055070339050753296)
,(~1774961316146297195066416986679572882642769251432321028405,5267191706714796316316881362819789648345036816365896596069)
,(6209314450350965080266081693566693161277301482902304133539,~4192226112775719449591971119096516215998705162912405463390)
,(~5201292990553705113299260112849107784470027492836222356297,~6275950217433949603595341125173857012391337217385880550340)
,(1115866396902035207662650052391106624446205257584663359535,~2985222238537835655721993508747229818118270876013091729321)
,(519633003739194354045536923417186464889862082582629540517,2045493197057559117349937990647603785253917199904370803511)
,(1621059293545258459171506706804502843559571409866201581671,2540563250509617688060065279128064648733919475254403608366)
,(4883351153049491486917365892728907822033732293272558081658,4303578501272534328294911402168675447407765079781532926382)
,(~5611247575217979601550101362670873537403720570935536116107,~371847134171603063347185162238225108747411098665965054548)
,(2994866853937236177797551654110607229885938670360868968493,1836778177221916916143801017836438135872866047103887355183)
,(~107463937186546647887278346687504041754093551826915607156,~4684185051814609545436443590231037107578305708830798133638)
,(2126234561536811095727296639776479511872277183926651328248,~3627462954135912005611051003974749884853321310952262197687)
,(~2988048337893085340368064698038626967607962426520479113704,~5202195461329221518223828317407408810308887897089137481613)
,(~595746632292118951592619313742758948445399585750987317953,3235977103030721997322607926474924703073408474667743223059)
,(~3524070028732373720803785494834838211484550958969073285407,4098140224446537277537042373297803496367636656802669210328)
,(~171109804687954805875662402140782976677952509744813113400,~3398992404055103014552363561825149445289703869941090350891)
,(~1320989252852710304380457254936444787010810235236596799630,823505962189605661598453137852279493538376287562840848698)
,(5129620310574175526452092382430324400596583966018426642850,~771664184353743223682211578933499383274390470469002847982)
,(4035398359735083733577259464915858442915436466325302713748,~1335207808238873199918479376110314866066588016243774906073)
,(~6211459417060435041752704751962798326259008579098378042121,3328748031513355835438683693195289927723213346681380054344)
,(2241013731429274072117372671485815784503279839001160117017,4848506521401846715582268475953491691888060486419650836658)
,(1391567602635768790567525772284565554274670137831600440797,~6214904136216020779360478377877682734288215242114932521638)
,(~5844729505274497314210064815551438066468609090080077447211,6180044080513957698512712136394990017870697306899175001208)
,(4605199233977502181712096491907420289604316196864261037594,~3392582991817086654460139156837842107989573598567617473210)
,(4212003860226657284065844124967548832724040338942314860017,~3722896069030774781801432458308415259818569763499685927927)
,(~1491962662514408308038982581857424644370594174742829933876,31751374548877824348630722540565795375707467854847504338)
,(~4852171802478753713218475703908931661147372097012740213402,~5590251974307631858817659757190567892578434223249412323664)
,(4569288853648172888021218866859633551580678638518729736889,~3788483280829851338956815244725203492282546480297326059602)
,(~3022853561747924041670517157189433817457996062824970658842,3365638798356853425990891819709213334809373018002262816210)
,(311308159659799781310499121285250021014348174110110165370,~3392381109226829832800546053199692458106119064076174805008)
,(~3830480447097239387117333809354616282332968027992652891,~4414278251757237076063221061903504947387002683120503006004)
,(~701507386009974958534572786574488423325428108612426210320,~5039930556933576619946851274305214964814861162150108495168)
,(400427037465726289428431445582590071805759203530123188781,~4822275259616138361755586451579666504563892148453272892483)
,(~2998721627118835525453439840944457397847504746973319873324,~3613651594663460836763042762460942298995359420159916587046)
,(2568874449379392252633220419785628027569570342544477793770,~2549900914191811772657960379086008691604064960683268530205)
,(5237372484619036882340719613233666986947590728945526177761,1737082424142067971312827990215732379140209548972434791153)
,(99664225064086944666523319735476732984759406300208574630,1991100096476667326240798572129856306853338257814431647846)
,(~5993152188188629246654959756074454470374844249494683561244,~3228050683033644102215685492511023675858409848989463522099)
,(~363350665800733026749579613207956910226366988793598398732,~4113690366919456069572231315352647855058773294811304477944)
,(4190777691224151285538721076698875340925592674568476178040,~5116317080879833661523819522713559919103776004877435379321)
,(1313563325185809480193838141956806487201814049070456130074,1568824237106756302060871797242930104968356278372759071393)
,(~2729316733888844863883093408510358902304493579673105531427,911391935967695593570290394650385553417838306469718362491)
,(5599382264009187587626120115138144845261281218145511491875,~5182849543628550920961640091475347965688377058681743291970)
,(~3006122940703914569120083981186713058348526543804876785843,2781102487033822139314766881188893649659844277010644590092)
,(4103122927953367553275816674367857595217574753317055804956,~584913029153782441733075389160640625537008797767008971391)
,(~3011686922485868508607677039886113160025053136001994296881,~3496882400501885891727349298642189458675621495469912510)
,(~1913957030213035315005995357619970848983138325717074770287,~484104264876057591980943294451783104552434445520162337228)
,(4442608445685111112039687698890213050106263914514170916767,~447743794328883425022623049112774391824090669071678505826)
,(3152732957182521063822603120622972704432991104518481257186,3426659764755159503874793262167716894389021817221712116559)
,(5606586147644584502701304990007871676175403296608349978886,~2916372373401974177253424406437081998577475726248166675844)
,(4336629768238429048215277793103904593306620719680376017510,4846388354944365792467577149021550962438501055780197932358)
,(~4254893549858093929442794957929705804843049201951732833190,~3548380369130734625139595242163596848714261637107809081387)
,(~4067043858047581462768547069252999383969941044392165391890,5284785636928323684260487063948498035052164822263910567631)
,(6095235223545558514274402680185360980672611358604446104302,523894325601940844982561434363046492099282788112789380420)
,(485047248028338384426364619390459089127173933834486070890,~3795096364133824184375149744349077643489216503765036103754)
,(5544377871251045290139689776415842782873786666548425130927,3788863189975128362941334617959736255797732271532222684571)
,(~5366506422896586740198443256896390234354704770272830223945,~4906019055609190345282785531970861512081416030254940064441)
,(~3792183374817167999503551434015011833004667588454679606316,~2779518006904515992843907896596001901779703162609396160208)
,(1187385572000364528711567150886834272792610057430786480176,~2630517607772366037712235956138680579635310530599093153978)
,(~2756041576068966936468934533329242648811458944205194291035,5005135785411748848902999235701975941590625996050131059014)
,(5277542110329116412242168228240954541344912633920509122297,2091356106073150757428729469765069092926853835466401557863)
,(~1567386052157219802521303683813113704104207039092571445156,~4537107752734883306170509179437427467557891478990942802264)
,(841876236951150527661024297480320100615489272437088535291,1572226904197884620879824392800303820634262478903680528621)
,(3930813685412533971268606234932334459533347362266540199615,~5286127090971508170378970601380636726459830990702464959722)
,(~1625317158466528022723733346753474413260607120998773484668,~5177580250829778196628973488344185867731965587377976396351)
,(5798334582174956999878543338269198039369330617252503110397,5370026178800941026192115848440289476119339478957329807173)
,(~5774968574473325158792901289750282156141973471537760983263,~2355615128657923659055774765514326973573463348866665880653)
,(~1082982478375416865883340073147410966108137909290449011795,1416910782022253889319704429539032330949851221810128482929)
,(5261365682530844076286388871149808027012195994520222209924,~2536146955311723581518682895084446488434187579287206662814)
,(~2199863710216380094381558141152473214106046262759805937068,2975600888668797832543639058039776592644358429827631342109)
,(3724168559294545787185470477572696388253213926256481288616,~3645399827089145541472294544345142545236066137479971819839)
,(5998203767893361168719391577242100825776783976663152476738,4000857665878173887736734308011825966660721960735822614165)
,(~5424295473509250537400146403509621877686155803503219286078,5839905746136353458455640457557920063042762443906368822111)
,(~4811396251130739935675905932132124701631994829428288698002,~5223327443258332326822538608820183908605006927306668888470)
,(~624745994957625571375007175554406098774590373317715400333,~2248785821714058136152413862530684782584615146411474686334)
,(~743435148286110612050678472437644962175464371775393608362,~1692327751358738037018772928847157007610319809286793829420)
,(~5920849979517855372488648712763262387765855941012772366267,~1488197184406059682141099129594203680816940463255298130311)
,(2737868107127174660584403509029763311882440008007044449790,~5282110483124235272219094972457220501140471872894330879262)
,(4709125299507031844746939984599562785813942578713515560367,~3144282004143658514725479522110280582290909561090084436517)
,(~1237352647035657027587712875774565378157268133934365173913,~3323066289232276547025548617444191464814569571052590219999)
,(~5908984741956177712445501042567634322489853586126192591883,~5077073920727988425388968733024244861851840337266446741642)
,(~4096436694773847889574454095904553920797841868687094746293,~1118766821224630812804669856034631974967625569311826075043)
,(3972039324815706332738086623245414939339787959926598310141,~1743652187523775466905245188724417699219911108409498750136)
,(2960324254086886230186827647714034385500398554189154592990,~268777471624928958786339832648551744063644271828296427535)
,(5218764741448798102888674843240963597541382714625768424765,~4206310397573786358571354902123360934799547915072234029872)
,(5673118622341441960358517791799614573261433653262624298211,4550662569644720559220765240897167415529740176117131861812)
,(~242882682550765812564866928510569663056648675284602851949,~3036747572933411623032088298368619753514696072089503703756)
,(~1679758045364500698949408722665567845792120220167297571208,~5756023476019801518930447444272969086098926037800492335304)
,(2634991524692894285807850282851078974053268087188338958762,4178747704781208215968143957146953021638725720535842799451)
,(2562437228385489926842120184468988379894106096081145914040,3996534924653869036943899932069730266600962951288306091209)
,(444369956834235438055554749363183360658870627579442875652,1082310598692939958114623564646857241185411735175060988066)
,(~3393604513710086868574980496539702281721555312922453038606,1386883246353539934569832486659117355799582206443783584417)
,(~5321841459069512201590897960913918905073492925767524620687,3915570492235921740599755349625395610248311140964028698420)
,(~5349502661516577435717368038662581966022625497293922297523,~4071075279100692724105269587580003353072031616062641441180)
,(~6192278067164718198605196995573686687110977025951468242830,~5272426207545530321035805054182807244124970597965830094077)
,(245802457598142372589375865598119731007823365191075601929,~1537358752685709298952816054388535087483687535014608005639)
,(497340362592074346864084332457024789020701642885316325888,~5762857459382905391298683438224430197294341109667444300391)
,(3925896610121409791235012246936516522363633651414191231959,~5410137006965069564100094560748973832954600923599603867170)
,(~5018834185086466520253293133610795366496433751236885703101,~2126902570774622373186566499056452882873229611112405815160)
,(3965574196379175339722451426776847081032994983925738034035,5214874726896316482727521398692313004190457176737687808943)
,(~4800280114999950528485115099340319780026748348186366092013,3255589559373196546248382141982989278072955278196211141902)
,(297254021527002680156344578331827364371122128333457599707,~304193052634281934572921934782748621308160003967013677588)
,(1620081408582721002900422374797096751877638017314170073219,~3668386758669205492684016336323226808076540446500980854703)
,(517894475560018993034886182101980442683349702043152121203,4474064897028414777916649487335937109288742598648377646479)
,(~459214654042167493574599643486629782873464063390863742178,~3644931553660252680438104372787547646425669964858336019699)
,(2071201018265375941144651781598722854592887866617184050584,~1692141705414449067786444496234273564485402478399018201772)
,(~3990926747843522860737476818263820470630582751053517500662,~5745634264685296942796898375982587583415397737424937119862)
,(4172786139199113371409207960784822950427569670806316565804,3073793913712974114287962394828393950139476698753333239371)
,(~1491400990358683526082968926602281088604057842588248603938,3161272481760247241632620079247116463828930783998825549160)
,(~720810774040400090970817381446424413706867561697033456141,~2454783994421976099917519947904147975940226130174401640830)
,(3218033021665983460548358116355937955423182224510833352751,~2519402126548428037689753462568520307751111872638980728144)
,(5963845340570569915219425865467451688615472692208497719789,~3243320244258146995995326077915002546517398825381636998454)
,(3369426946017129572220641210692181769520985449201238544529,2370112647188251876099568520119429120247900045996432366899)
,(~1485017701829385660374021793895389570775942164481407970586,5774530896550777143433829447894147606140773546251762501391)
,(4409902545982144649468367708592171994047604465904054820308,~5189092299728721436089318508179218115769856826280016959566)
,(292231636250095315749835096085033556658991310940151449048,262356231641107918716535521243581022988246427922676934373)
,(1714496796020734834540543623385377412242557596132489615661,5363373840146285613621185104135430417709333879970783289658)
,(~3819161084850201790483468536601619370328252705947460728614,~5024646176594195693513368827362390203464426946211415260156)
,(3368555913924307279245162198873009148902078756382552426553,~365065824236324814384375697685974783889498761524429733520)
,(4243889200592421078520138544186935302514426433026562914901,1370348230712744830937246252686350069888411615628515050163)
,(~2483829861399794719411574071471785131784142397646468214362,6033248170383086678108684603235050055992952196206440375854)
,(4508180405031279032913181468975666636107478458136006612230,~1229181680883463263376004680291426666274369525122744089989)
,(~4881071063260647219338641931949409897896962388727158840777,3634486372258055776618064287314655559320641027747295061284)
,(2595644863711647550886485432828193234768365054140312295733,4290392037076242855026887835777957566049766772180233784243)
,(243678537867428561134459015155614364369810172989928746130,5940833329115340425437272464637955821071263325335236577738)
,(~3925623057457379500091061019313979356109033592826514424631,328898990106879297342626023625738586319798710473825277322)
,(~1106038410765227532279520873332566514241194520152794047587,~4159947349754128154848323841091786445525460236404614577075)
,(~1073319750185226080184040510904078620918770452935067495701,~5741968176887842753164707088192128455232036426155549737791)
,(~4930519826208770530101243713989439338116238494159863073482,725530459172247720581228308973350165067032865612319864038)
,(1836318777717778976213467262965134448592659656034323998803,5053850517810496097448607898157694948718500974809380224748)
,(~4954523455151873539163075486935931671878146228231306160987,~352891581118670595598616132738378306776039647619750232577)
,(~4712463762766353134634765641081752833865970326368411490568,2895909435915558890694191709151378819799488330181594195075)
,(2683048960897705868600920611304846178984822430145154590852,2459435473917820925389371007316671053785296109116621457336)
,(~4282478066337182607310399816604290461224998935429437505037,1333859069856421055918154413030677895146324671601153122687)
,(~2412186596611436649581876644401748055269414320036236875155,3493284211116906508677712083856732123288741080563799335594)
,(352390631557995476450455502648884524219777875424599671992,~2995931728688611733688170499690095120239399390089139564569)
,(1565185330608056134362321461382171078791128632643568003941,4490920375707235474670124678681735806358340851879329044477)
,(5000284830671828081804818233463543690620560721216239327091,~1017898761597496384496493109939677521727434350007432428047)
,(1805795922655553391897441638146728476167664111088511507364,~3156303994853027237176725870720495323101991593851400988675)
,(6115485756142098820848652097485211116809597457312450973576,2182692675421735983946392498624066982330433041404392888610)
,(~620714625470510257407411307063191485582448895712279921490,4138439643263987106300922613131811873671541220222460609406)
,(~6260739045415503221511826349394485378008866751836756858880,3920758618495773734764047482830078896600634102375559062582)
,(3655321064320971092374735451217353134388476831119927864984,~5168933488462864394274255461017741060356733188792355637805)
,(2419497804577062321084746380222988670902697879196863036219,1221460789804467548511118215326810967956392406510947509551)
,(5685851252947288249450002443421716647461832488585415636064,285521669155078632489967477958156998741399145105908668838)
,(3601829899041205907478999204294432504119171362221168259642,3575707133324168619336931054112787032385274026612389224503)
,(5560917940485808462277727732811581799578817974178254189035,4981554550416671522582157210178883562116501134635069382468)
,(3096783519313582666585656313178038128059203035125774352315,~2436884200764169819357322744119090496734906340596942462809)
,(5049184672673334484274484989747507566063625614442221631374,~1012520495839299546774658384127624239682788847888608906237)
,(~3819773133774560918207449782278631387498891477566133169698,4355763437817273627866084048725063775756704894816412578347)
,(~5698703794727217139909572125737285181171637142584059720946,~725201122834604250616641150198749373177956777265466965974)
,(2590698844107944613195656872297412931252435351274929927957,3175233423328459612591897759472354448875209551291918279884)
,(2719576870263132006101501897199815818312415807535184696294,~3453639701436714151622323975496434866485254817645979615000)
,(~4876422981542106536678551297922603459068267535171741649058,~6263906009859387215756539548052619752192054370040208334563)
,(~5520505455327293930807414242598548130740951658591666962369,~2164758309112584083381314915190972885734034588134425250985)
,(5866335867962734649082411541274462622207990731964850858316,5108380826772399792756958250987793692987541805626423515787)
,(3112895415303462576821082020543094512723262465106243737782,4783883417273128876487712586670433014975987820838407154304)
,(3552781159548661800798678869606612247786485940905925897936,1920383059824742862213349545125570886355469993711411078770)
,(~822291969199981829502759085994502680334357663626609255258,3777649840767850044934606993867883809641782791195355514314)
,(~1534945401414652259742331905870930751978838557260041523659,~4938551592897683516959168498803224681543211278671822892585)
,(~4479435146160241690433776766319059631942041530375703603226,5039238411840501416857427330595179899387641489782094281969)
,(1948469452863125851386130263688224436951164987722535656407,4388043967126601108714844744582416619338208145000275700216)
,(5100473360897030194507009010408705946816974802150894556095,~2799820572563553925881438433118273565338515779232136479013)
,(~1413200351919610876706516699905503064675660533723038430180,~1863237224585512510329328390613922902474209051162060156559)
,(~5062392059631142286150793258532796000193533019581652756853,~3147406041516679519416290623859450301037653386523840998817)
,(4980105271883787112433372945763697298050467526320956297480,~3501023505730692902680649480532234483516698281253174662600)
,(1151636542024196304971256979426251188071243583278244834774,~3875963343629501889651327924528899698799111323028175332321)
,(4717182432966262294030391756194609679767626021297461284109,~446852212121280810437876968588042943060501926137492727495)
,(6257346491344029614894036816693274285136022871317104537157,667418501987979825139938573685187796256482014708269358608)
,(~5575072813270643024368053707291696915386231301089632291796,~2995116743224699559009031655618884261637306040886987439065)
,(235401173948973495918221656018132849647714314317257865606,731482809401868220152913896285085228784707265024550203154)
,(~4532404532815848229957171823781937498130934782933339382826,3485130968694184949712930840038447492188951274379851828265)
,(5209493796452541375780474627495573336591563459935986661150,2738257355485768958364257794160377829267747414852490772328)
,(~2429364557837995199325667879617107596048990197514232913066,~4080166782648203551988428575790131631867100969181890433657)
,(~5168892738155047943381365893630450000088417542525736810430,2441014913212024612477779114883319305816722274445158494206)
,(4347229366996651163435234743855018053460670089072665710260,~4156402250928453123872881959933498067663299865921669781067)
,(336325612490980195465905959231668737568959618724425146378,2016066176197785645616848710287933868359503467687209816917)
,(~541126593284059415323591937726466690687886553225669719465,~4068649160261389563651190559123819304823451601883987196588)
,(~3973241940688473816773341363565800122108084285879919544064,5898064158170272768571569405236930686592535236191562307987)
,(~800489163367884551101072594287929350360515833754826941275,5141209836922219089571860962537758211574983527038540429899)
,(5443928251129481500826121492370915541602888911335317375516,~1137501209867065514608831731663022363969355191297345422143)
,(~2358927475380936446805826037874216252226427064161407099496,~448502875938596730998164176338344886827298405421140168107)
,(2865396502775887837892826357594679959899316654993194127170,~815514832767681702824885442429627292028754796956874154065)
,(652403675234364048697395329454811127957815488150528964253,~5361280468134654400653632245487459309682666148018091629009)
,(4938319054730930615906577939095774452513248134012744905291,2896910195434481932859336789485770639483450883651340558217)
,(~340486744672477844410807983461895660605136296686714455920,1352523281137892640887849570790446701521018021114353732326)
,(~5621739247206046182783345062206071040656923731735021483417,~2547013156235749523566339709656357035367380190760887935017)
,(~588083078924131002380911655330879385005608343359660658067,2216713183277223273874536511776120807574992515580711892175)
,(~2796013409781350446170943696337493125693705961982773223921,156153804005593145035531804718527793179126626323711826678)
,(592725807167331663785450379636186786263004110885453233696,~3614466662210406544127496617459533620317952189771788756577)
,(68884591115113854684200807288505785122507207514646876503,~2664389422257018577078610784609746612889363955658232920730)
,(824366616382592976942947396818911187450238852475422390118,4799551132621354727532319852652704499235158006239724936426)
,(1594564856138463560438377637190120811311541383302491740659,4317509426561847334350470689673631849896084375046915390574)
,(4203345170860970924681975114823521756071886346708350898820,~3328358206195543437833526741664895679536346000616182928990)
,(4962801810877849437565295043137524777598104815231409368221,~2801568917990199869985517255905229854510012656685882845751)
,(~2520593854625414846878863393106286282969978627153153813341,5450057366099908562646712888529481477609845247199221570526)
,(~3112368416772163848948567916606081133779006671749158716279,3424036277143183248747530151986435907239584404689039472548)
,(5160420265596562044939705326600023460978531731323562943771,~1800990862169241592938134892024575770393181233600347299867)
,(~4700206297193372178634454107857506967672017179161117093245,1188835192262382066047559992920389433114368463215625917772)
,(~4495041238986221058390365977633099819859825378574105391011,3945142663634757233921563565935564018374649988607969929715)
,(3501906462905905646939238144321396738105151845690551039746,579229974403540303356351849744679226638206143196761652049)
,(~1221541448192803155446498307731409282481752720974521690396,~6044983021395046516163439738388979551537477968698702797377)
,(~3751907472361521360846860934332611924841751099973599459,3604711457703480984364623674001959823646342910483897771770)
,(~2227788698912731283742236549081327262614286306897511005224,~1108203352230259314447651829532083908951847268118215871013)
,(258494690872456941666133126406492488117212876596779806024,722771595024093786576114062635498840024836269526359521873)
,(~2577009237001820452216664153532893970384146353181747689787,4336199408417640423461723449439505081017145742791046397491)
,(1493773589728290091179022549835750803304321580738553732591,726626655421185494505308235335812495482032610399853355283)
,(~6060954670451714528297641308385746095542299953464037108455,326611855115835830757888587114558586307417874221443720831)
,(~2884882897624941113593485642740831864919989729709558890117,~816875982514947533102366808225076077299682207294987430345)
,(1181939507301546627445313856638414504271475629174056490655,4799281593301196715793549476393736729102107253710330784999)
,(~679134253007585432312042269215731660388761475896554901920,5889274262852967003546017554672197168644194524189803586078)
,(2079710040255815763139245556516126534340412951285678317235,~3158314035561131877978700081254100258992947387881674138025)
,(~1094212433721057575522885231908656793363619387583343069329,~3853500030401551307797972776987394103223318082902306443757)
,(~3290612514582552118077476646199862560874971858513456362900,~6124843527083220592957604727556025857104854694470720757537)
,(~2838119523493446948403837223115272902632426990722140709923,3536325810974120378729375754787674166578305998466497389)
,(5942806819580395571467394582917936434041918134974002982832,~566161697816941555078931146413000536913738286548550061810)
,(~2565758475552751547320392143882700257912799551450308875674,5597668404042139196400170968082143482443794946594688179318)
,(~3702206329044490855733002605775628046253545304769022197862,1887038547895892610439044473756524784227235749386416888618)
,(1242658209296049790816029345507038180434687932833868933997,~265402481213614642723621744839321351087219972645275379152)
,(~5215923192146203834193491691838080155222048134639708006343,~4455687578523441419900425837028939791059983812796232261478)
,(4842830680113562107685089130377986008385788810919323495313,5038034308044409074331887094866703297273512605548151931629)
,(~2623760869954561450161869248579413886315839106255944871665,3653314336506832571877546198495306441603061885537606271059)
,(~3452815303071114342750498421677531978636423689539616196599,~1598842775148848958006550378808636132776983212347577401594)
,(~1163376454125640261478742578639240461066049722809092613123,3724845028201757346731957384061361228364917389626882099459)
,(~3429093555152093862705086582646460153931096161017007086346,~4614205384664425802512025019693781663795970792793206205345)
,(1033937981315006737152785905694023784670704176077854089934,3180966278647833657355465124184341747822997412489212009495)
,(~551239607404776902422507114300081772484395263831402947288,~1410744718489886924623153407510725317677392905407401911769)
,(~3663690772172043631447610694515026439998285259903448649312,~1681317674056943859603332658611478385106294219238907387016)
,(~3725786229336209101166430359084982371502067751668430949836,5845898923264928165011258818018524190931861607991050191029)
,(~5531856199652912905246231281054861380987361171622651016432,~1250580030965588673952787495935289653584515931595630609964)
,(3228156585405674734204793204997615265336118206554077797657,~776558333903432504044105154741980174368427437796079878446)
,(828383446688208076568437799460258938525521042034737647839,4265977098615603756222399442548984829359656638506944941600)
,(951398943144111203664937364578886649703741350205383608978,~161140710934085845777907092976842605236888169947475733271)
,(~6199815618414200095096693093220138876324312916482747377914,~5938231923874592064380007448902342076335824666860043602337)
,(5472661284002021759636638477521634261841495858324183637924,~5766245071855852874692297807141026623989507654745929658087)
,(2358526950934048248995849895534092769681898071746285286980,~6229486799907540267315229618340119018827894455286244749112)
,(~2069962158280838617089919612358907932324774279560314195020,6099596867629074039640834377471318557423180118281477677790)
,(~846245439911075764373465419949613979021256014243335811299,~3650204924115980834347788169512320664966965045163136637974)
,(752876524506563657202274889696879844465787537542621545198,~3445450684151615474806533231952866078755732105814558765583)
,(4689793920448312250710523323918912920717226463664668808397,~584910605458401016974863944587246285874926707122882131497)
,(3844216960665653353398643575699500871292092105649123628880,~4950126191643297748987203083861712868481574794507206004976)
,(2188857195699951296660056086124041586447014988879979192706,4589618751286681302633993401208467018928482219212277306614)
,(~2795413582233878026585660344775557590104543296838249069557,~1668182415321085250608883372300351332017349782830451937247)
,(1625892380223350633460192149991334665745805018797583389685,~477794582450418425428789261685030703444211006924007094128)
,(~1329729441383022587404439454119585102239161768821293075572,2302980432561002208940194446507151212468030917530631887200)
,(~2775373849418974196782180254170377439509881490808845647107,~5797950336281644576443253711692689429593158414051858803744)
,(~1764529416508388531284808181755821552004827886980577434499,~369344658341736149745396879404791812880483460257707776202)
,(~4210677837231210660682324665796836190425111578087585314845,~4092849593162706069220322243895492113680870146622815979897)
,(79925049119194846822039157358477937734822045239205986692,5397035915679141302965188302218557119727530417889915218079)
,(~953418815814888275691586485435011874175721466112441831000,3839495209112430531638257244831729657332888107104671550921)
,(~366592858057148848063092054518925197318379852438969054553,3925866477222444798701319490138661964306478122005249033953)
,(6006284179383332300725328346141799391552059643547333781118,~5040790435692637805623364382019989798291899763953550281279)
,(6081912615923534106494873585626001519655073312134360059385,~3362463418744721046252225666610894260377665775864237021909)
,(6217753037226564241938348528764097665125495974489358176179,4453236829439334418872625530077313821580882492239326163155)
,(~6131479540330256369659945445028823690420145554438790156903,5243729932699408939703381224443045077775133848081908124027)
,(~6003564516566215461625546955232345102795151919819840125154,~4673111384731184957147605630865115533922584764573468038019)
,(~6116253877295016463168387072905822313666686458495588834063,~2852288640216106819349992605805185729234470350350583309625)
,(~2902512517343313550773366993908540339555057578168044177426,3543642409323448529138394646140718195565437541579965020420)
,(~1020231184064398261410281280256764414835021598107754545383,~5904840378320984272478299513687646637106213652945692485719)
,(~3715340064244329065398795628111627657850181426990590139981,~666647642084971485230174070404209747144481410453185593078)
,(363077171443740134357239184315922301409601947706317633288,1051711437235194083623306380192899299549771487724439196738)
,(~4137387629193047114781850261272452358790512285604093493266,~1535856584424392955399083875414347868086971141491669992813)
,(~627190482259539740308923680422374150278385692391675083336,~4160865306245436616874036701920528350419699637146998324365)
,(276799928840256044040679479447839277910226413473958883451,3355991487869194664210163962445934422358043903759569996689)
,(~6132189396406697398078059351172124622726442952824020561658,~3919517933627954460301602196455620180642359614266252725224)
,(~3380646428659192985663463252818753475317598447761241050877,~4571124397681154457217936190041149572120920687886424277946)
,(~2831721953015603823065168918877248260515007226693228672156,1035735616447018734332867907338676641700053836129027539257)
,(~969038985343955528329172046839411876224794455423341295846,~1436743305021289255024864579251889891900122720885697547297)
,(4642806447394621505441864739495230886408439124839044164605,5342995380608423001253622455027903553768736157109233856863)
,(~1050079030273090418871449628951071684030901689781554055245,~910214556121867091420314602884538027121037883368967899696)
,(2772299736814490501974683481493385384042858701491095569811,~2314470685079292778982291579711643425292216444567794229388)
,(~2594899269147316601276139338604330474057637491184918186167,~627566303520561826342186179875390408683879794832469325039)
,(6025088793431615871357926805017745770050919430531047267923,~868739986047243446856410713673965286347954888106608904976)
,(~3697791464048046805423331983763126829666775831410407091191,~4715460896935813523987595798189392133014197193087361212760)
,(~5319993991937168691168905820689578359841314379300819021930,~634376268953957084309122337438249701796325247614517437626)
,(~5588204545966691973406340941351227049886826852799712393088,~301337554860768880021611263234839312827123622932612814750)
,(~1336009796300015965638899144199380992718285592095395735834,~4405070654459667019981684150200929740032623923774501427459)
,(~3777519855765526441115417622476468450145585545279884694993,5521242730470680620781300338464183291764790333575330280979)
,(~1299932104511934160844513991433488769564886317225949287675,~248690140291308724542520336143171371634158095466161537477)
,(270572032009474246169919514197875034198843008471395316011,3425499737343585703438745615021428329758751048253431444205)
,(~2028405621971796127403118548932272264791010039414331143032,2791443359043226782313080156683374047130941865665431417538)
,(3753994757457790446424846819094219600198344624681642786713,2753271254812921442601385236707429347591112381088720231072)
,(~1535510909910876678690945793557868968978167549255421021651,651454996102458480166666929157308058402308866653408881659)
,(4392828103390865620253744568593966598979347705730769535178,~4351746595374037055154734842040312546830278080114955578376)
,(~2545138630762752197287605392207965580041745266835637218990,3406148928182311740146304708855179292386309722671410830129)
,(~1982795596351226205931427563545037472829337087446117697606,~1437646058069942658682279748738495560389886764890010928986)
,(1265482299365721018462754760648298292402349253107288802202,3528819126879525114543419721285608391535246333450864101093)
,(4227571832346130066266224356619358432179395843334791345639,~3406502464194156711753274428892282881535713407361352066792)
,(4081349041940942903152957883852290344464646826347751884259,1547667585441693383847786641720550259188607518576054382671)
,(~468769998193112748565004146003690923856894973508953895331,~2429342760568230920852333452539741711123129658669898503448)
,(~2128371769945427212579304849501278767921488109552639289098,2408483705956820810429124085784445418816103984124882525611)
,(2664530667133770066549371997158441530295412304982412632351,553103404830580434159112688317952648576780168498462911733)
,(4317533255018918767040601199153198019385065221525603597551,5786376269448835582612289436630766837271215800469370373800)
,(4412484350960289610879926675183362422814990275272183915184,1930002369462091808994792056820070453230134445549397366503)
,(~5304429576132398482335654150895528977945970356066697715253,3868640622367885496192795175901578303913793220562692843451)
,(~447113121496942197784817012539331865435975537531383149465,~180660424167742693757620426370040283855537585972352497646)
,(5831255230677218306505793226956968850894410134327619971742,2343235384724036977991438837259065095050615471079189076267)
,(~1046778275844809118442291279128642135188783160755536534928,2870418711659060912091539640894730148582004981190290552842)
,(~4733136066043733380088932386758077597567488971450976493847,~1029814521133772694316728413557253928713067309118392290203)
,(~451937570567875431844651852455578141219293706767967424618,~6250021184575266636223856948999192946039489464710455515242)
,(4099820327073994202682765132214584069010845714147067360209,6110992675171784377431045575764118206051138583176270827586)
,(1537513559243805663522694539944555413101526335232982506678,~4818264349301157168259391084747818718294662650907392847818)
,(~4670742966858369700915113865611918675372615927000430347990,~1598209438374031872254478548814873415460940423992366634295)
,(2164016720243802300628018258156210462909250409320973307063,~284966968965142972653262141204913855248810436478474270944)
,(~1631157898201467143560001760680730082164538922782753960114,2294442259565979668277654578579654874829515296130800658444)
,(~1772748096620811558362574256514789826856377210352281547170,~5949472541794101120886610801190331858199893387486599541070)
,(~2974960093015227478643588403813369670447895314412422389153,5413093625607915456048697105228647378106482150240844258249)
,(~1078947801129077632932077591818383412116295973999398484108,6114709512067712774499397890216260486441984493489479542958)
,(~439170006051421306180806048185427890550371388684840676970,~2294069693441423482376784455491802680690906616552282078712)
,(~1440057482158329561996433051803853973629892514877102620087,~244241906754892729661062512200731568261730864979443987168)
,(1072085988980081069192995510548530459384877421451574353076,~3811982087789056735650415989135099636188381751959378625463)
,(~1152044690360621956793645049960345227431437421271008002343,~3257584272632598888325622828337468748237509844811117121647)
,(~985584959785181868965039303675527248090626723604585148795,~3118472229795957486840035654391547240769824897405431553140)
,(~1823534794606707668292365952682585174558656275233875282414,2204782308214926144069150238644463381460518707022295446059)
,(~1569806770265630676988150861252874543321167185279401338601,~4881592367178855841880920419891379908820712075506860521712)
,(520447937675855222975130620029536784702496563814960784298,4185548439793830731902644695925087228698474564818161866839)
,(~2596487652110310114874334532363270064417648804830651446224,~1931860671222420727133055882397141695098356824831713470844)
,(~6073655847334911704440020505074790918298248854203545275050,~6111273271005202511794631476879348895418205009752373557594)
,(~469265443124844070777048260289557131815775190645864808518,3796338554237711580146504105107293156417471533839675693766)
,(~4904238979352155245164521290976538794179784214619926510912,~1438493789247659253036212606084128634953676252917567067608)
,(950770238125508454635763943133017065557859839308202860100,~1483556896665490277163270530983658050408273866514509645888)
,(134452406212062810751470482172666360464705155458254870654,~5240609548383368865913078293960273728334530025502345674901)
,(4440538749384690365163008378321404885772531587013729972276,~3263453318596864166298177538390435360141061232924843196562)
,(~1002014622420750118975677625363270034138602963850785693205,2054253183310138600654089345762822456887531255215370269392)
,(~4334746267225922181086689785480368114372512930811584510611,~2940734843547419294517754712855229518230374330328028988193)
,(4321260491352652506580617732146914011331272285512901637087,~4617833633655668178107509222521513856663915391339017943923)
,(~5221310446223703477423458335186641721394225914638613385037,6119485584354971639411961400732947816465443225280979193405)
,(~1964604254089561090755070875646857232548318662482795312409,2181238732034919137462516606634330355054446160932585849260)
,(5186163456229818643704496713148818489009435947495314240318,1647715209017754724436542249300609733716730165382419321898)
,(~3347386946566314092932650764275523194631063371102828370756,3875124888373053082398549829522376502552598449385098074891)
,(~5604153972845169237470435228690284738120337565142025475651,~3473664619879701566721692371195618064199691208510077312127)
,(~3988869942951697902048017041287025080813852372084009869064,~533623843211465455431938990015023233516043891463934619730)
,(~5499623741042181348452564918232960109636387132873145334420,2585232902016056307504517291557078740415301795463946714019)
,(5928247765412270899480346806328987901261458669909820052053,~6116227768701203725241006968886789811545845584749153897809)
,(1365554394541155349723193213446890012909593544926074899752,3241290049429542104028381591193641984727553430134576732784)
,(~3317290434465046511900723104418400967634992281662233666218,26385422727922738924310600022853530858894312056045447245)
,(~5351986202841356043032223198422760751865318481559931699307,883420754700767834623500240616486276368935449865731534689)
,(57497368021331316976255700779865500353050313059543308100,~202817380613869625134303217175866094892188606442933999647)
,(188172449150024745694604053220049150530459542013802334856,5884736666326376994767271251448039918888907138853804551557)
,(~5376284295949866786038299851438283609441366780807953376868,~5600874027067185037669398854063769333652201959171585452327)
,(79564530592233836705298040846612875879996406620922613368,3093739297118020509734473307519013729229718131342770400370)
,(538958754323096515555605934597278679196311705649003850119,5513489209098026139207322748768434555728149208670996842787)
,(3180947220266275971137807162160750018632876210389805838420,1234484163162076078814732682245902549875482707409374770340)
,(3757325680519306865786538891361483777812829656614731631032,5440378625979262186897319359558135035139624343130092593386)
,(2564091835245731603515104188913579215560334804943021239652,3866134852962466804092120810719952499409025253643358809185)
,(4321414169342674318633102411671341759377992207880330391702,666825637734328181314698023239934593082014397546386167012)
,(~485515167030147441917971927558819704151020068356925178096,5368786647688666753312001107367106593743827461728627879643)
,(631255307484032613206143090577601817384960387466493252178,1182071496316352334471427469945700744913959219803594739735)
,(1589607740963812393987975436600110916100911242947196936705,~3252217103489810001465376005273157277705474860932738050483)
,(23774130307686903375312560177361124481503064836221681092,5391480290971226039514073433422000426000867498615258280025)
,(~5833938096314183515308929717756235149625886689533327293848,~3845411134408570330057355037542075390976655788409399630090)
,(5763142531490241851425964882600737428796527613499057810580,~494422101746612454008914516716682416133318026154416634668)
,(~1940284676268464710715746738145659180257352839628576156786,~147286853358886742691193686086669538565016464514028515756)
,(6219033849216277089246978115729823404198945298786614197157,3119541425241855759558916695343120427517842532161044845957)
,(3590373425845856620621995620973429443732978599829331639941,3645378952972187281005438372939515492616824825391210396858)
,(514642841953201223963353917583373092460818616431953644482,5173793700542814473508857823055438244962569265619620968049)
,(379138527359152258095995282541890360709487171475789845737,~4604864634809545934724741588987962738020150068936765126376)
,(~4900379143298984185615591476255388087726508000705005445453,~91259733950772125670554564127978416027832887322783565307)
,(4620511277867346223838931453712387281767245255858214182962,914959753093596440439969634717714752361594961262899441748)
];
List.app (fn x => (print ("fromLarge " ^ LargeInt.toString x ^ " = "); call IntInf.fromLarge x))
[~9223372036854775808
,~9223372036854775807
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9223372036854775806
,9223372036854775807
,~5409008727128139067564957763602339820166096240057908150082
,~3140375977898436542012082573580997584293258702557834854622
,~775265176186851615538182709838367276052223792751607505943
,~4886322291255779283773328303042134392724542916225032809699
,5529582096166211121019346266834485149317983719417510443706
,~5476100941970080617734900874808973764532442556080387061628
,2802724155356963888370215921553732068930664374676709449973
,2572136565339841457699657203636367150681778342109794986645
,4839781550649941187065188492680758755458291488951935818814
,~2922923973502226528897705406420996827476518570035653882971
,~2360371453367211669475160870402660290143846145938769586208
,2683726382712600743332086209312290012409947391101638991600
,~5102109202655237210198768443039253627718969837228254848739
,2439794412659533508464158789724041756033764933817197187745
,1233454418302947781164454248894484343397178276366821411459
,557205312803586141987559992633811024217850944803503792390
,6143559725776471435192744611504582529008785027255588273418
,1107414444354212275980740766866197235305884137465370424773
,~774346060272717566185576512066647874415830167960704113734
,~808795984479209074727691268854535312465618358906868688348
,~4302915714451510479117424066466065156986046441872108844456
,~512980439487188359861599677636256371606895611905845435253
,2129824879179448740136929244805397230837218503564679039866
,3057992084254381670688689399463210459133731159411660791642
,~5477435684504467373409632507155769629413118183381314356321
,5206831731387504580542358105080611803239911341530970241950
,5291135817157727558272048234576242212797978566581868654690
,3342451236322132856961433273017307698712578691006711965030
,718703287348122906756235841321765973646055029615353956099
,~2629269978614912516537973518980446566182621758791252004242
,~4107282430520681753840328991490644223633012027535856381694
,~5010033284269267270742294052105268669251221196314606494025
,2532543684757874808296536392857620816570713523944623867907
,~3908961850219040039377027209550500572901419907978808287738
,~3783530003888815086668638816337163678247550311089822376753
,3711130993135959461359237389980648009232006166361168739898
,3344053584267536047700637790288501142495834802394180778225
,~309087394006068288646746232169323320991070573939724640199
,1325143394419482188848061941421296080698375109752287013535
,~301768717980238072338729557091984166253070835149265590186
,~2082548945184446727204270824581846490197366457239135566738
,4264892504065269700141549751924243920124561238759854335525
,~1419856875829087464777899974450304465842693179487877992463
,~914516134246159646709060318954207350267228028599451737630
,~4789051436440234531763265363295133384035856039007303290009
,4402000368184844437547853569797875211960626890428852978238
,55759691863865137341781192935036570292452061886521146075
,2988004049290635723239029979506794592604557990918401582764
,166002974364713116436301102499133172458234302455504906148
,1328654913391414407180658826725893438188268209446310220206
,~4387512459068453086557093406926555917251297803513747610159
,~656092827275843584057762341375443733717623827633512577719
,~5720712772001178147951450497535736572525352449371269654366
,1589378236641542425089604807581761369128289846757749816200
,5900873540386422237897174495043527090758369266840132276254
,~4616990849097519343351041057394123007987031496279325553798
,5175298008258313274352961392351616540272818582973571108126
,4432033840602065437972218239156656183804349775922684183740
,3633759504852673146052199934772850246637107879851918127794
,~6264938687296971227196395157062809838152286707885885474702
,4563446207001493796112887370871811858246631427764659704866
,1254747050403940933958640834756964607250342864270173778191
,1789661448776322862816650297525372257143634202168997541665
,~2733093743186689168539952721551582719265730243076302190959
,~1474841442427814971160117161617535687637584363356480749427
,~5410102426808498694173333474454832199609042707070967622404
,1763397468268750884361951671059878169064033169868567952002
,~3600231191331090700775823250990791215086078928730781990157
,~4071784751257421130353509663026716090520492996908224678319
,~5066230867200634100796334403716176440582004092648694092525
,~4816293966166244735920212252439819248190523542393060548859
,~5975423686535339326962097862451556793129619754093004900085
,~1060062379661044015913280525326540954739778689474153646457
,~5924781099028854017387424908804360995611580260642678049702
,~3976911746099614394512724050447947436592178945477512008511
,~5240495708766419899695403181053759680294514445791738171474
,5903974226415448479288493473156408779554337018462038752381
,4758317830667607615095549613163270335293167529455951103096
,~1325171581344234516637478482242267902451066455798798911501
,652583925508766860743020993042599050534175326579835830023
,~376886192682443423041090367156985305188539288577291183891
,~486596174033466720453211391362520835192300802213546936972
,~3772250971955029250407322823607003208288843415732691064183
,~2297010477294494004322982949062312717297462056354132368521
,~1831955413968358735509193168115810695742458094555021893620
,~2570006782433160993458518361589034558066264495914249192895
,603005725466009456158096552289375927812118316412180183341
,~2043270130068013458772549276566851909762224012688528331607
,934994939300639202020399112003651445600066930945727175747
,1863712590841340186191451976402276630685505929710132401446
,57176900570397838843526183956753646540093561595318489293
,~1109964431619560364805387062847813614349682517375719069520
,~5998208939938183965828529453347560142701120935973546582148
,4687084310815882656563771995059092162555063372223820292499
,36612417591372686191018110362467911216675855099759423982
,~4347307765539216781905090716862455796367565864630123419231
,~4752402067031686400151751198943371120950093269053514280449
,3033821900042493988315003667733066119950278563662709074387
,~913987696133177307012515099113230705617318741406912247627
,~4133897086809060967688233610679666001501869398966795480369
,2625304943038185990905383303483794802806449966529461313529
,291915829204353651853203684741332722549768158434888940834
,~879843405942807286780430569515953704651261152932548303971
,~590592426865622407120158208304865405585516780334179838738
,~389382790469831429783001527522558688739865078584740231500
,4270217829746434030263108314631069879085802883454009579769
,~2264406495175054505960592205924828598133682254587320206531
,~4816198124713238259094696738009288566112557859327822653017
,2033992641954374792208562621155813818074844545182758371189
,~1337542641633102176179733314752190698829158890218457218048
,907380319247977117781981130474638466409935039800654897941
,3483969026246410925740003708578373728809257847764718761916
,2298977655551575474619111640239758406518551448097955567390
,~5515659358719552857459609638881677146930862056351561414656
,~4309352332513689387870491675741364166372934068388074085508
,138140966265705266913513629055326008387101775808928218896
,~5242367999099314120168373911511906189039801458057926109442
,3511582159044476312599523205100096428789364181001409746098
,~4443202883780467560750492855642788165205539907968578663792
,~414782002381750528275971116773228929361296949006739435913
,6204296827071616641235974672192443610212333118480048548682
,4734121361031039962146320263227243435217809673393621307747
,~2825337348761954193113923366511785836413688018902653596213
,2508960747521974789801605266216393151939624233726914925027
,4603109439420116140636815403360205369216210210929973777468
,3858243519812414041580933825344348630800576419893305419631
,4755977731415639218615648431401389189160942721144261806433
,863559351104825125553777803365573843496405876064042810700
,~6038800811307853686655963242136645629224034471284712136832
,~5948214330758447770582265183180446718812711603858283099381
,259498059250196314499161021324066637189614870337023905124
,~4892022108280629205285943828602818034515387057983480202736
,~5635082941407124504938017179738831263119553482330696821465
,2195282947769783689636243256630887099550882247603748535669
,4112158566453545918692541726007888217821802459960812066050
,~5756572156818200935720502713839393297941963781901106183252
,~4376137144644535922022093510006091271523381347275951184519
,3044125350362900876205487332819013878431078977832899209084
,~359632239582910827039984771846985809072175489012198941231
,3712050682710654725500257267809798624344832212810762031884
,~5664362875376395856183741625701164152472694458761135692591
,1361953336697820885779472163579325007781632623174383837398
,~1041536722791205002414429785999843677585516749469938486831
,~4745971305989489754332377907824368556725200562321713757601
,5330004975964254048220005878841605773710588706964738129039
,299352132959378994672640605163138527368741044445482269797
,2172942397659357070492910116052187450050027711412368622695
,2147386759498049174949771441514646519210440806245584620358
,~5121096238707097983556023821099558680939769329424504851150
,~1810041667939205118293856855604690625073310289414045038085
];
List.app (fn s => (print ("fromString " ^ s ^ " = "); callO IntInf.fromString s))
["-9223372036854775808"
,"-9223372036854775807"
,"-77"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"78"
,"9223372036854775806"
,"9223372036854775807"
,"-5409008727128139067564957763602339820166096240057908150082"
,"-3140375977898436542012082573580997584293258702557834854622"
,"-775265176186851615538182709838367276052223792751607505943"
,"-4886322291255779283773328303042134392724542916225032809699"
,"5529582096166211121019346266834485149317983719417510443706"
,"-5476100941970080617734900874808973764532442556080387061628"
,"2802724155356963888370215921553732068930664374676709449973"
,"2572136565339841457699657203636367150681778342109794986645"
,"4839781550649941187065188492680758755458291488951935818814"
,"-2922923973502226528897705406420996827476518570035653882971"
,"-2360371453367211669475160870402660290143846145938769586208"
,"2683726382712600743332086209312290012409947391101638991600"
,"-5102109202655237210198768443039253627718969837228254848739"
,"2439794412659533508464158789724041756033764933817197187745"
,"1233454418302947781164454248894484343397178276366821411459"
,"557205312803586141987559992633811024217850944803503792390"
,"6143559725776471435192744611504582529008785027255588273418"
,"1107414444354212275980740766866197235305884137465370424773"
,"-774346060272717566185576512066647874415830167960704113734"
,"-808795984479209074727691268854535312465618358906868688348"
,"-4302915714451510479117424066466065156986046441872108844456"
,"-512980439487188359861599677636256371606895611905845435253"
,"2129824879179448740136929244805397230837218503564679039866"
,"3057992084254381670688689399463210459133731159411660791642"
,"-5477435684504467373409632507155769629413118183381314356321"
,"5206831731387504580542358105080611803239911341530970241950"
,"5291135817157727558272048234576242212797978566581868654690"
,"3342451236322132856961433273017307698712578691006711965030"
,"718703287348122906756235841321765973646055029615353956099"
,"-2629269978614912516537973518980446566182621758791252004242"
,"-4107282430520681753840328991490644223633012027535856381694"
,"-5010033284269267270742294052105268669251221196314606494025"
,"2532543684757874808296536392857620816570713523944623867907"
,"-3908961850219040039377027209550500572901419907978808287738"
,"-3783530003888815086668638816337163678247550311089822376753"
,"3711130993135959461359237389980648009232006166361168739898"
,"3344053584267536047700637790288501142495834802394180778225"
,"-309087394006068288646746232169323320991070573939724640199"
,"1325143394419482188848061941421296080698375109752287013535"
,"-301768717980238072338729557091984166253070835149265590186"
,"-2082548945184446727204270824581846490197366457239135566738"
,"4264892504065269700141549751924243920124561238759854335525"
,"-1419856875829087464777899974450304465842693179487877992463"
,"-914516134246159646709060318954207350267228028599451737630"
,"-4789051436440234531763265363295133384035856039007303290009"
,"4402000368184844437547853569797875211960626890428852978238"
,"55759691863865137341781192935036570292452061886521146075"
,"2988004049290635723239029979506794592604557990918401582764"
,"166002974364713116436301102499133172458234302455504906148"
,"1328654913391414407180658826725893438188268209446310220206"
,"-4387512459068453086557093406926555917251297803513747610159"
,"-656092827275843584057762341375443733717623827633512577719"
,"-5720712772001178147951450497535736572525352449371269654366"
,"1589378236641542425089604807581761369128289846757749816200"
,"5900873540386422237897174495043527090758369266840132276254"
,"-4616990849097519343351041057394123007987031496279325553798"
,"5175298008258313274352961392351616540272818582973571108126"
,"4432033840602065437972218239156656183804349775922684183740"
,"3633759504852673146052199934772850246637107879851918127794"
,"-6264938687296971227196395157062809838152286707885885474702"
,"4563446207001493796112887370871811858246631427764659704866"
,"1254747050403940933958640834756964607250342864270173778191"
,"1789661448776322862816650297525372257143634202168997541665"
,"-2733093743186689168539952721551582719265730243076302190959"
,"-1474841442427814971160117161617535687637584363356480749427"
,"-5410102426808498694173333474454832199609042707070967622404"
,"1763397468268750884361951671059878169064033169868567952002"
,"-3600231191331090700775823250990791215086078928730781990157"
,"-4071784751257421130353509663026716090520492996908224678319"
,"-5066230867200634100796334403716176440582004092648694092525"
,"-4816293966166244735920212252439819248190523542393060548859"
,"-5975423686535339326962097862451556793129619754093004900085"
,"-1060062379661044015913280525326540954739778689474153646457"
,"-5924781099028854017387424908804360995611580260642678049702"
,"-3976911746099614394512724050447947436592178945477512008511"
,"-5240495708766419899695403181053759680294514445791738171474"
,"5903974226415448479288493473156408779554337018462038752381"
,"4758317830667607615095549613163270335293167529455951103096"
,"-1325171581344234516637478482242267902451066455798798911501"
,"652583925508766860743020993042599050534175326579835830023"
,"-376886192682443423041090367156985305188539288577291183891"
,"-486596174033466720453211391362520835192300802213546936972"
,"-3772250971955029250407322823607003208288843415732691064183"
,"-2297010477294494004322982949062312717297462056354132368521"
,"-1831955413968358735509193168115810695742458094555021893620"
,"-2570006782433160993458518361589034558066264495914249192895"
,"603005725466009456158096552289375927812118316412180183341"
,"-2043270130068013458772549276566851909762224012688528331607"
,"934994939300639202020399112003651445600066930945727175747"
,"1863712590841340186191451976402276630685505929710132401446"
,"57176900570397838843526183956753646540093561595318489293"
,"-1109964431619560364805387062847813614349682517375719069520"
,"-5998208939938183965828529453347560142701120935973546582148"
,"4687084310815882656563771995059092162555063372223820292499"
,"36612417591372686191018110362467911216675855099759423982"
,"-4347307765539216781905090716862455796367565864630123419231"
,"-4752402067031686400151751198943371120950093269053514280449"
,"3033821900042493988315003667733066119950278563662709074387"
,"-913987696133177307012515099113230705617318741406912247627"
,"-4133897086809060967688233610679666001501869398966795480369"
,"2625304943038185990905383303483794802806449966529461313529"
,"291915829204353651853203684741332722549768158434888940834"
,"-879843405942807286780430569515953704651261152932548303971"
,"-590592426865622407120158208304865405585516780334179838738"
,"-389382790469831429783001527522558688739865078584740231500"
,"4270217829746434030263108314631069879085802883454009579769"
,"-2264406495175054505960592205924828598133682254587320206531"
,"-4816198124713238259094696738009288566112557859327822653017"
,"2033992641954374792208562621155813818074844545182758371189"
,"-1337542641633102176179733314752190698829158890218457218048"
,"907380319247977117781981130474638466409935039800654897941"
,"3483969026246410925740003708578373728809257847764718761916"
,"2298977655551575474619111640239758406518551448097955567390"
,"-5515659358719552857459609638881677146930862056351561414656"
,"-4309352332513689387870491675741364166372934068388074085508"
,"138140966265705266913513629055326008387101775808928218896"
,"-5242367999099314120168373911511906189039801458057926109442"
,"3511582159044476312599523205100096428789364181001409746098"
,"-4443202883780467560750492855642788165205539907968578663792"
,"-414782002381750528275971116773228929361296949006739435913"
,"6204296827071616641235974672192443610212333118480048548682"
,"4734121361031039962146320263227243435217809673393621307747"
,"-2825337348761954193113923366511785836413688018902653596213"
,"2508960747521974789801605266216393151939624233726914925027"
,"4603109439420116140636815403360205369216210210929973777468"
,"3858243519812414041580933825344348630800576419893305419631"
,"4755977731415639218615648431401389189160942721144261806433"
,"863559351104825125553777803365573843496405876064042810700"
,"-6038800811307853686655963242136645629224034471284712136832"
,"-5948214330758447770582265183180446718812711603858283099381"
,"259498059250196314499161021324066637189614870337023905124"
,"-4892022108280629205285943828602818034515387057983480202736"
,"-5635082941407124504938017179738831263119553482330696821465"
,"2195282947769783689636243256630887099550882247603748535669"
,"4112158566453545918692541726007888217821802459960812066050"
,"-5756572156818200935720502713839393297941963781901106183252"
,"-4376137144644535922022093510006091271523381347275951184519"
,"3044125350362900876205487332819013878431078977832899209084"
,"-359632239582910827039984771846985809072175489012198941231"
,"3712050682710654725500257267809798624344832212810762031884"
,"-5664362875376395856183741625701164152472694458761135692591"
,"1361953336697820885779472163579325007781632623174383837398"
,"-1041536722791205002414429785999843677585516749469938486831"
,"-4745971305989489754332377907824368556725200562321713757601"
,"5330004975964254048220005878841605773710588706964738129039"
,"299352132959378994672640605163138527368741044445482269797"
,"2172942397659357070492910116052187450050027711412368622695"
,"2147386759498049174949771441514646519210440806245584620358"
,"-5121096238707097983556023821099558680939769329424504851150"
,"-1810041667939205118293856855604690625073310289414045038085"
];
List.app (fn s => (print ("scan BIN " ^ s ^ " = "); callO (StringCvt.scanString (IntInf.scan StringCvt.BIN)) s))
["-1000000000000000000000000000000000000000000000000000000000000000"
,"-111111111111111111111111111111111111111111111111111111111111111"
,"-1001101"
,"-11"
,"-10"
,"-1"
,"0"
,"1"
,"10"
,"11"
,"1001110"
,"111111111111111111111111111111111111111111111111111111111111110"
,"111111111111111111111111111111111111111111111111111111111111111"
,"-110111001001100010101111101001000111011110000110001110111001111011011110110111001001000101000001111001000010101001111010110100011100010101011100001110100101001011000111000111110011111101000010"
,"-100000000001001100001110000101110001001111110011111111100101111011001100101000001001010110101001011000100111000100010100010110101111000111011010000110010101010001100101101011110100000011011110"
,"-111111001111000100101011001110110010001100100100110101110100000111100111000110000011100100000111110010010010000101111010000001111011011101000111111000010110011101010101011110110010000010111"
,"-110001110100011110010101110010000011111010011011000010101000100001010100000101111101111001101010110100100011011010011000111101001001010010001101010000001100001010000001101100000110110011100011"
,"111000011000001110000111111000110110000001110110110111011111000100010011011111110011100001010111111110110110011111100100101111001010001011001000111000100111001001010110010100010011101010111010"
,"-110111110101010100101001010110001011101011001011011101100010010001011111110100010010100001111011000001110011010100101111000000001010010111110110100011001111010011111010111110001111011101111100"
,"11100100100110111001110001101101110110101111001000100101001011011101001111010000010001011101001010001001111011110000101001101100100001101111110101100111100010010011010110100000010000011110101"
,"11010001110011001011011110101110110010010001101101111010010001010111001110001101001010100001001011011010010101101101001110000001010000111101000010111000111010000010001110100101110101010010101"
,"110001010110000110101101010101010100100000101011000001011100010100001111101000101001000110110101110000101100000110001101110101101101001011010111101110010001111101001100110111011101110000111110"
,"-11101110011010011000000000010111111000111011011100110000100100000111011010000011000110100100000101101000000111010101011101110110111000101011111111010001000001100011111000111111011010001011011"
,"-11000000100001101101101100001011111010011110011100001110110111001111010110111110110000000100010100111011100110101111011001010010111001100100000101001011000110100100010100111000010100000100000"
,"11011010111001101101001001010101101000101100101001111010010110101000010001001110001101011100100111101100010101011000111011100011100011101000010110100001100001000111100110100101101111011110000"
,"-110100000001010010000001011011001000010001001001101000000001010001010101110110101010011111100101000011100000010000111111101100110100101110110110111001110010111000001001011011000110011011100011"
,"11000111000000010100100011001111111001000000010010110001100001011110001011000000110011000110011001011000101100010001000101011000111101010001000110010010011000100110000000111001101001010100001"
,"1100100100110111011101011100001101010011010010100110011011011001001110110110101101110111001000101000011011101110011010100110100101110011000001101100011000000110101110101100001100101010000011"
,"101101011100101111110101100100100001100101001011011010100110001010111100110011011011110100100000011001100110011011100011101011011010100110001000000111100010011000110000100101110000100000110"
,"111110101000110111000001101000010010000001001011101000110111011111101101101000000110100011011011011000011001001010111101000011110000010001111111010100000110101011111110000101101011110100001010"
,"1011010010100111110010001111110000111010010101101101000011101000100001101010111001010011101011110001001010111001000011110110000101010110111000101110000111111000100100000010001011010111000101"
,"-111111001010010001100110100101100001110000100001101000010011000000010100010001000010000110011110111110010101100001010110000100001101110110111001110001111100011000010000010011101110001000110"
,"-1000001111110000111001010111010110111101011001011010101001000111011011111100010000011100111100100010000010001111100110100011000001101110100000100110000001001100010010001111110110010111011100"
,"-101011110111110010001001010001011010011110000000110010100111100010000010101010111011011100111111001110000011111110010000011011111011111110111100110011010010001000001011011010000111010110101000"
,"-101001110101111000100000001000000000001000010001000110011101000010000011100110110111111101001101010100010011000111001101011001011011000000000111110010111001100000001000111110001101101110101"
,"10101101101110001101000110001101001011101011110011010110010010000100011110000001001000101101011111110111001110011001111011001001011111000110011010110100001010100011101100011011100101101111010"
,"11111001011011011101101010100111001011111100011100100101010011101111000001011001011111101101001111001010010110100100111101100111001101110001010111001111101000111111000000011011001111101011010"
,"-110111110110001100011000110011001010000111000010000001101110111110101110011100100100000000111110001000001001001000000111010110111111001101010011110101011000011110100010000011001100010001100001"
,"110101000101100111011100000110100110000011100001001111000001111110011010110001100011011110011101010100011101000001000010011111000000111101011000111100101100110111010111110001101011101110011110"
,"110101111100101000001001000101101010000110100101000111000101101010000001110100010110101001101001100100011110111101100000110101001010011010111001001110011111011001001110001011010111000001100010"
,"100010000101000011010001101101011010101101011001010011111110001101010011000111100011111001100001001100110010001111101101111011110000111101000000111111000101110111011011001001111010010101100110"
,"111010100111110011100110010001001000001000011111010100101110111001100110001100000110110001000011011000100001110111001000101101101010010111010010111101111111110010100110001001000011100000011"
,"-11010110011101011011100000000110001110000001101011111010010110010010001001111011011000111000100100001000110000110001101100000010011101111000010011001000011110011100101011001010100110110010010"
,"-101001111000001000000111100010001110000010011101110111110101000101000010100100110101001101000100110100100100100011110100101111110000101011010111010110001000101110010001111000100010111011111110"
,"-110011000101001100110000001010001001100011010111110011100011110011100110001100110010110101010110011110111110010111000000101001100101111001111001010010110100110011101000111010101110000101001001"
,"11001110100100011111101011000110010101111010111001001111100000001001101101101100111000011000110110000001101110010100101010110000010100100100100101000101000000000110000101100101000100000000011"
,"-100111110110101101110111010010010100111100000111100100001010101000101110101011111111011100111000101010011100100011001011100101100100011000111111101000011101001110101111101011000110000111111010"
,"-100110100100110111100101011110010101011000001000100000001111001111111101101101011111010010011001100001100010001000110100111100000010110001001011000111000011101001001001000011100010001100110001"
,"100101110101101000000011111100111111011010110100111001110100110111011110110011101100111110111110100110000010111110111111010010111110110111011100010101101101011101000101010001001111111000111010"
,"100010000110000110001100011010001001111110111111111100111101111000001001011010010000111110011001101110111001101110110001100101110100000000110110100101010001000101111110111001100111100011110001"
,"-11001001101100000101111000010000100001011011100111110000010011110011010101110100100001001011100011111101111011011111010011100010100010011010010101010100000001011110110010111101111111000111"
,"1101100000101100100100100000000001101101000110010000111010100000001001100100101100011101001110100000011000000000101001110110101110010010000101101111010101101111111001100000100010101010011111"
,"-11000100111010011100110001111010111111011111001111101101110111110011001011000101111001001111010011010100010001111101101110001100111110100001111000100101110010111111001010100101011110101010"
,"-10101001110111011010011010100111110011000000111011100110111010100101000011110110001011000001111101110000010101001010100001110110011010010001011110100000011010101100000001111111011101110010010"
,"101011011110111110001110001011010101110100100010110000010010010110101001100100110011101010110110110111111111100001100101001100110001111011001010110011111010001111001001101111000110011000100101"
,"-1110011110011111111111010110011110000110001010101001011101001110000000000000111000011111000101010001101101001011101100010011000110011000001111000100001000110011000100000101100001000000001111"
,"-1001010100101111111110011100110100111011101101001011010010100101010011110100101011100001001010000011010110001001011100011011001001000111110010111000010111010011000111111111110101111000011110"
,"-110000110101000000000111101011001001010000001000010100010110011111101010111110100100001101011011100100110110011000100101010001100000110100110110101001001010010110011111110111001100110010011001"
,"101100111000011100000111001111001110011011010110011101011000000111111111000110111010001001101010000111000110100100010001111110101001101001111001100100001100111000010100101111111100001000111110"
,"100100011000101000100010010110001010000001111001010001010001110000000011010010000000000110001000000110100001001010100010010001111111000111101001110100000010011100111001011111101011011011"
,"11110011101110000110111110001101100110001101001101100001111011000101011000110000000010100000000010100011101111111111111011111111011100001110101000110110000011100011011001010000110011010101100"
,"1101100010100100110111001000100001101010011111110111001111110011110011010100000010010110011010101100101110010110100010110001010111011111100111010001011011011101111110001110010011110100100"
,"1101100010111111001101111101101110001100100000011000001111011110010100110011100000011110110110110110000100010101010111010001100011110011111000011110110011100111111100111010011001000110101110"
,"-101100101110111111000100011101110011011101010100000000010000100110010111101111110110011001000100111011011010101010111011011001100100100110111000001110110001001000010110111101100001101000101111"
,"-110101100000111101101110000010101101010000101010110001010000100110011011111111000010100101100010011101100101100101010011110001011011000100011010101000111000001100110110010101111101010110111"
,"-111010010100111100000111001101101010110100010011110010010011010001100010101010101000011000100010101000111101101111011101101001110110011010001011111010010010001110100101011010100110011101011110"
,"10000001101000111100010000011111101011110100010100010000000000110000011101111100000101101010000010010111110110101100100010110101100101000011001110100101101011010100010100110011111101110001000"
,"111100001010011111111110100011101011010111001110000100111011100101010000010100000111110011100001011101011001010000011000100101100001100000010101110010010111010100011110110000100101000000011110"
,"-101111000100101110100010001101010101001001000010110010010110100011011011111110101110100100101000110000010100011111110110011001111111000010101001010001101101111000011100110111100011010010000110"
,"110100110001000010100001111000010111010001110101000101010100010111011000011100101011010110000100010110010110000011110111110100010100111101111111001010101010110110010010101000111000110100011110"
,"101101001100000010010111101001001010000111101001011100111100100010111000100100110100010111001010011000011001100001101101000000011000011110011100010100111000010011000001000000110100010010111100"
,"100101000011001000111000001010110110011001111000010001011111111101110101110100110000001111000110001010110011110010000000111010000100011100001000010100111010101001111111100101000111001010110010"
,"-111111111000000100000011000010001100011111001100001100100011000000010111001110001001011011111001100101101101101011010001111001000011101001100101001110100011100011111000101000011100011110001110"
,"101110100001110010011001111110100111110110000011010110000101010001111101000011010001100000101010110110011001000101010001111110110111011010001001010100110100000010111111001101000101010000100010"
,"1100110010110000101011101000101110101111100100010111000101011100000110010100111000000110010100001001110001010110001000011111110010101100111111001011000000110011101110111010011011000100001111"
,"10010001111110011101111111101101001101011110010110101001111011110011000110101001100011001001001100001000111111100001010001111111010010011001110101001011110000000110010010111010111011100100001"
,"-11011110111011011010100100000011001001111101000110000001000010111100011000110010001111001110101101111100101101110010010000010011111100011110011100110101101101110100010100100100011100101101111"
,"-1111000010011000010000001010010000100110010110001111110100110101110111110000001111111101000001110010110110100001101011011101111010101100101111111100110011001100111100111111100011111101110011"
,"-110111001010010000011010110110000010011111010110111000110111010101110010101000001010110000110111110011000110110000110111000000011011101011100101010101001110011101000101101100000010101100000100"
,"10001111110101010111010100001011110011011101000101010111010011110101010010010001000111101100111101011110110110111011001110010100110110001100011111001000001011100001111110111010011101010000010"
,"-100100101101010000101010111000000101100101010010000011001101000101010011100000011010101011110110001100001100000110111110111010000000110001001010111100111110100110001011110011010011110100001101"
,"-101001100000111101101010100101110001101011000111011010000110011111111110100011000011001100000010010001000000110101101010111001101110000011001011110111111111101101011001011110010000100110101111"
,"-110011101001110111101011000100110011010101100111100000111001110100111000011001011110100110001000000011101100101001111111010000000001110010110010011101110000100110000111111100100001001011101101"
,"-110001000110110001110100100010111101001110110100100001001101011100110000000110010110111010010001010000111001110010101000111010010000010101110001000101101001100100101101011100110110000011111011"
,"-111100111011001001010101100011101010011000000011011101011000111000010110100011111111001011101101001101010000110011001000010101110111011101100111111011111001101000111100101010101100011011110101"
,"-1010110011101110010001010100011010000001110001000001111001100010101100111101110110000110011000111010111001000011101011011100100111111011111010001010101010001110011011001011111000100101111001"
,"-111100011010000110011001110101100010010100111010101110001110000111111100011011110001110000000010100100110101000101101001101010111011000001111100110100110110000110111111100000110000101110100110"
,"-101000100011000011100101010111101100000010010110111011010100101110011001101111101011111101110001000010010001111101011010111010011101010010001110000110001101010100100000000001000001001100111111"
,"-110101011011100101010011111111100110100001100101101100100011101011000001001110001111101101101011010011100000000011001100100101011010010000001000010000100001010000000101100101111001000001010010"
,"111100001100100001011101111101100010111100101000100100011100011010101101001000101011010001110101001001000110110100110010110101111110100010101011010100011100111001010111110110010111110001111101"
,"110000100000111100100111111110100010101001111101001110110111000010101001011000101010111110001110111111001001001100111100000000111110101011010101101110001110100010111110001101010100010001111000"
,"-1101100000101101101111110101100110001000010010000101100110011110010111100110011111110111110011100110110011100100011011111110000011101000111100101100001101001101110000100110001000100000001101"
,"110101001110101001011010010010101011001001111110111011100000101001011010101101101010011111001100101010010100000111100000001101101111000011100011000111101100100011011101001000111111100000111"
,"-11110101111011100000000111011001001011100100010100101000111001011110110011100001110011110101100011010010110000001011100011100100000010110000000011111001101101010011111011011110011100010011"
,"-100111101100001001101000101001111111101101101101101001111111001011000111000100010101001110011111110001100010001111001110100110010001000011011111001110100110010000100111111011100101010001100"
,"-100110011101100000100011010001101000010000001100001100011100100011000000000011100111110101110100100110101001000001101011010101111100101101101110000010100100111111010110100001101101010101110111"
,"-10111011010110111101000100010101101110001011001010000111110011101011011100101110001001100100011010110111111100111111101110100000111011000000101010110011010001110110111011010011001110010001001"
,"-10010101011011010000001110001111110101000101100101010010000010100010000101100001001010011011011001010000001010001010011001101001011111010111001000001110100100001001011110101101101111111110100"
,"-11010001101000000011111011011101100101011111110011111001111111010011001111110100100100010110000000000010110001011101110000111011110100100011111101111111001111111000111111001011000010110111111"
,"110001001011110101100011011000100101001010010111010111101011000011100101000100011110001111001001010000110111101111100010011100001000011100001101101110001000100111100101010010011100100101101"
,"-10100110101010010111100010010111111110100100010011100101010001110101101110111101101010101011110010100110011001000100001100100110100010001001110101100111000100001010101101100010101001101010111"
,"1001100010000111001101011110100101011000101110110000101010111111101001001101011011101010001000110110111000111010101111101100001001111100010011111101011010110010011110000011001001110001000011"
,"10011000000001000010001001111100001100000011001011110011111000011111000111000101001010100111010101000011101110001101101110100111101111001101001101001011000010010110110000101100001010100100110"
,"100101010011110100011001101110111010000100110101110000011110111101100011101101001100100000100110010010101011100100011000110010101100000001110110100010010000000101010000111101000011001101"
,"-1011010100010010010001110000110010010101110101000100010101011111001110110000010100100001111100000001001100000001101010101000001111101101001100110001111100010001110000110110000101011101010000"
,"-111101001010000000111001001011011010110101011000100000111110111001111001010101110101100011110011010000110000011010100011011000011101011011110101010100100001111101010001011000110110000010000100"
,"101111110010011101110001100010100000011101100111101011011010110010010101101010111000101010010111101110100110010000001010110010100110000001011011101010111001101010000100011110110110000110010011"
,"10111111001000000011000001011000001000000010011011000010101110101100111110110010111010110000110010001110111001001001110111000111110100001100111100100001010011111100010111111000111101110"
,"-101100010100110000000010110001111001011010101110100110101011000010100001111010101100000011110110101000011110100000100011111111100011101100101100100000011101110010010110010100101101011001011111"
,"-110000011101000101100100100010000110111000110010110101010001010101001001101101110010110001000101010010101000100101110111110110010110011001110111100100111101001110110110010110010110111000000001"
,"11110111011101010010100000111000111001110010001011101001100010001110011010011110111011110011011000110000000011100110110001001100000010111111100010001101010000100010110100100110010100111010011"
,"-1001010100011001111010000011110100011101100110010111010111000001000101101011000100100110110011110001001100000010100000111101110110111110011001000111011101110101000010110110100111011101001011"
,"-101010001001011111100110001111111010111111001011111010001000111100010110000100110111000001110101111111100100111001011011101011001001111011000000010001011010010000101111010000111010110100110001"
,"11010110001000101110110011001111010110011111000010111010100001010010001011110011011000011011000111110001101001001100010100110011000001100001000111010000110011111110101011100110101111111111001"
,"10111110011110111110010100111001110100000101010100101101000000111000100100001011011000011110001111110100001000101010110011111101100111111100101000100111001111111111011110100111110100100010"
,"-1000111110000111111110011001111110001100111111000111101001000000001111110010001010101001111100011101100011111010101100111110110010011000010111100111111000101110010100111000111101110001100011"
,"-110000001011000010010100110001011100100010101001110111000010101001010000010100001101100010010110001000010010101100100111011011100010010001111010001100100110100001101010101100110101100010010"
,"-11111110000101011000100101001100000111111100011000001010011011110101100011111101010111101010000000110111110011001101011000111000111011110000110010011001111111110011111010010011100101001100"
,"101011100010011100100111100001010000111010000100001100100111111001010001110101101111011101110000010101101111110010111011000100011100011001100100100111100111010000011000110110111001100011111001"
,"-10111000101100110000001110001010000010011111110001111101110000010011100011100000000101101101011011010000110011000010110010100110011111001000010000000010001101000010000010011100000010011000011"
,"-110001000110101101110100011000100111000110010111001011111100010000001111001110111110001001000111110101101101111101000000010010101111000111101100111111011000001110010111000000011110011001011001"
,"10100101111001111011111110000010000011001010100100100101000011100000001111010110101001111101101000001110100101011101011110111110010001110001001001000010100100001000010001111000111111101110101"
,"-1101101000110010011000110001010101001100101101100110110101101010100111111011010011111001011110001010010111001001110110011110110011011111110101010111111000000101100010100000010011110000000000"
,"1001010000000101111110000110001000111000011000000101010011001011110000110101001101010110011011000001001011000101110000111010101000001011111010010011001000011110011100111001110010001100010101"
,"100011100001011001010101011101101110001101001010010111011010001010001011100100001011100101100110001101011011010011010111000010000110110101110100000000110001000001111101001101001011011110111100"
,"10111011100001001110010010110001101100000101111101101100000111000101110011111101001000011001100101011010100100001111101111000011101111111110110011011101001000010101010110011001101011100011110"
,"-111000001111001000101011101011111101011100010000011110001100011001100011111000100000011100001101100101100010000111001000101011011010110111101000111111011111100011110000101101111111100000000000"
,"-101011111011111110111100110101100111001101000000000010110111100011100101100010111011011010100001101101010110101010110111101000011000011110001011101111000111111011010000001000111101110010000100"
,"1011010001001000010010011001011011000001111010101010011001101001101100000001001010010101010000111100000111000111100111110111001010011011100011001001010111000111001000100001111111100010000"
,"-110101011100110011100000001011110111000001101101110110100010001101101011001111101101111111110010000010101011111000111101010101100000111010101011011101011000100111111011011010110110100100000010"
,"100011110011011010100000110111110000110001101110011010000000000011100100111100101010111001110111110010110101000111100000111011001111000010001110111100001000111001010001101011010101010010110010"
,"-101101010011010100110011110111100001011110100101010111110000101111001111010000000110001101010011111000111011000001010100110001111101000100110110000010110111101010000010101111001011010101110000"
,"-100001110101010000110101100101100011011100011110101000000011001110111011110111000011111101111110111000111011111110011111010111011000011010100011011101011111100111001101111111111000110001001"
,"111111010000011111100001100111000011111011011001010101000100101101101100110000000101101000111100111100100100011001100111010001100000101101100111001001011100100011010010011110010110101101001010"
,"110000010001001010001000100000011100111010000011011111100111101001000111000010001010111000000010111010101001011011001110100101111111011110001110000000110000010011011011100001100001000101100011"
,"-11100110011100111100101111101011011101001110101101001100000000110011111001010010110011010111001100110100110001000100111111000000011000100000101000001000100111101001011001111111111001000110101"
,"11001100101001011000101101111101011011100111001001110100011111101010000010010010101011100110010010110010110100000001010001101111101111111001001111001111011101000100010110000010001000111100011"
,"101110111011101010110100011101110110010001001111010011100110110111000110101110110001110001100100101111101010001111000000010101010010101101111101100010011100111000101110111111011101010000111100"
,"100111010101100111110001000111110110100100001010000000011101010011110100100100000001000001011101111000001100010000001111000111111101010010011011010011000010110010011000001100000010011101101111"
,"110000011111011010111001011100010100100001111000011001101011011110011010101011001110111100011001000010010111000111101110101111011100001101001001001110101101111110010101100110011000100101100001"
,"1000110011011111111010111101010110110110010000110111001111000100010010111100000110010111100000000110111101010000111001111000000010110101111011111001001011001010001011101110101111110101001100"
,"-111101100100100000000101101100110010001000100100111101000001000111011010000010000001111111101101111011100101111000111100100011010001011101010010011101011110001001000011110101111110000010000000"
,"-111100101001011001000001010110011110111111010101110101011111110111111011011010101011101010101000011010101000111000100110101011111101100001011000001010101011110100001101101100101111010011110101"
,"10101001010101001001010000010100111001010010010000010110110101011110110100011001101011101011100100010101100101001000000111111100000000001010100110100101100001000000001100000000110101100100"
,"-110001111000001100011000000011010101000000010110011000111100010000000010111110111000101101111001010010101111010101110000001100011100011010101110100000100011001110111110001111010000010111110000"
,"-111001011101000100000010110100110000000100011000110110101011111111111000010100000000100110101011100110110111111100010110001000101001001001110110000010110001000100000011011111111010101011011001"
,"10110011000011111010010110010101001110110001000001011001111001010111110010110111011110111000110100000110101111110001011100000010100011011110011000001010011110111110001000101101111110101110101"
,"101001111011010011110000010011000111100011101111110110000000111000101100110100000010101001011010011010010100100010100011110111110000000011011011010000101001101100001000000000010101010100000010"
,"-111010101100010101101010111010010110111010001011000010100100011111110000111010000011100111101001111111001001100011101100000000001000111010100001111010010110011010110011100101100111110001010100"
,"-101100100111100100000000111011010011111000100101101100101011000011000101001111011011101101111101101101001111001101011000110111101001101100011100000111000110010010000110110011100001101010000111"
,"11111000010011000100110110011110011111001111000111010110100011010110101101111010001010010100001000011010110101100010000100111000101101010010101101111111001000001101010001100100110011101111100"
,"-11101010101010111100010110111100101100100111010010001100010110000111001001110010111111010110000001100001100100000101101101111001011101100100101000001001110100101110110110100010001000101111"
,"100101110110001110011110000100010001101101001010100010010011110111101010010101010010011110010111101100110110100100110010001100001011100010001001001000100010101110111101011000000001001100001100"
,"-111001110000001010110101001100101100111001101110010110111011000101010100000001011010000011111010000001010100000000100110110110000101000001110011110001111001001111010100000001101001101100101111"
,"1101111000101101110100110100001010101110010110111100010001110101011111001011101000101101000011011110001110000100101101010111111011101011000101001100100010000010000001010010000010000011010110"
,"-1010100111101000100110100110001101000100100110111111000001000110101101111101000100000001100101000011001010101110100010100111000010011100011010001000011101010110110101001100100000111000101111"
,"-110000011000111001000000100111110010101110010110111111011110000100111100000011000110100110010111110110011100010111100000011010001010110111001001011010001111001111110110110001110111110110100001"
,"110110010101111111011001001101000101000111001010111101111001000111111100000100010110111101010001000101011110001101101100010001101101110100011100111001101001111000100011011110111011110010001111"
,"11000011010101100001110100010001111000001010110000100111111111101000000110101010101011100000100111000011001000101110001110000001111000100001011111100000111011100100110111110011110001100101"
,"10110001001111010010011110000011110110101001010111110100011010101010001110110011100001011110101101000100111000100000010110011110101010000000101111011111010111010111100001111001100010001100111"
,"10101111001001111000011100011001011100110000001111110001001101010111000100001111101111110001010000001001110000110011000011010010011001100011101001100010101101111011111010000000100101101000110"
,"-110100001101101010111101010011011100010111111011010011011010100111100111000011101110011011000110100011100000110000011000101001111110111010011101010000110111111101010001101010100000101011001110"
,"-10010011101000110110111011111100110110111100100011011110111111100111100101011100110111110111000111000000111101011011111110111011011100111101000000000110010111001001111110110111111011000000101"
];
List.app (fn s => (print ("scan OCT " ^ s ^ " = "); callO (StringCvt.scanString (IntInf.scan StringCvt.OCT)) s))
["-1000000000000000000000"
,"-777777777777777777777"
,"-115"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"116"
,"777777777777777777776"
,"777777777777777777777"
,"-6711425751073606167173366711050171025172643425341645130707637502"
,"-4001141605611763774573145011265130470424265707320625214553640336"
,"-771704531662144465640747060344076222057201733507702635253662027"
,"-6164362562037233025041240575715264433230751122152014120154066343"
,"7030160770660166673704233763412776663744571213107047112624235272"
,"-6765245126135313354221376422417301632457001227664317237276173574"
,"3444671615566571045133517202135121173605154415765474223264020365"
,"3216313365662215572212716151241133225551601207502707202164565225"
,"6126065525244053013424175051066560540615655513275621751467356076"
,"-3563230002770733460440732030644055007253566705377210143707732133"
,"-3004155541372363416671726766004247346573122714405130644247024040"
,"3327155112550545172265021161534475425307343435026414107464557360"
,"-6401220133102111500121256652374503402077546456667162701133063343"
,"3070024431771002261413613006306313054210530752106223046007151241"
,"1444673534152322463331166655671050335632464563015430065654145203"
,"553457654441451332461274633364403146334353324610074230604560406"
,"7650670150220113506737555006433330311275036021772406537605536412"
,"1322476217607225550350415271235361127103660526705607704402132705"
,"-771221464541604150230024210206367625412604156671617430202356106"
,"-1017607127267531325107337420347442021746430156404601142217662734"
,"-5367621121323600624742025273347716037620337376746322101332072650"
,"-516570401000102106350203466775152423071531330007627140107615565"
,"2555615061513536326220436011055376716317311370632641243543345572"
,"3713335524713743445235701313755171226447547156127175077003317532"
,"-6766143063120702015676563444007610111007267715236530364203142141"
,"6505473406460341170176326143363524350102370075307454672761535636"
,"6574501105520645070552016426515144367540651232711637311613270142"
,"4205032155325531237615230743714114621755736075007705673311722546"
,"724763462110103724567146140661033041671055522722757762461103403"
,"-3263533400616015372262211733070441060615402357023103634531246622"
,"-5170100742160235676505024465150464444364576053272610562170427376"
,"-6305146012114327634363461462652636762700514571712264635072560511"
,"3164437530625727117401155547030660156245260244445050006054504003"
,"-4766556722247407441250565377347052344313454430775035165753060772"
,"-4644674536253010401717755537223141421064740261130703511103421461"
,"4565500374773264716467366354767646027677227667342555350521177072"
,"4206061432117677747570113220763156715661456400664521057671474361"
,"-311540570204133476023632564411343757337234242322524013662757707"
,"1540544440015506207240114454351640300051665622055725577140425237"
,"-304723461727737175567631305711723242175561476417045627712453652"
,"-2516732324763007346724503661301756025124166322136403254017735622"
,"5336761613256442602226514463526667774145146173126372171157063045"
,"-1636377726360612513516000070370521551354230630170410630405410017"
,"-1124577634647355132245236453411203261134331107627027230777657036"
,"-6065000753112010242637527644153344663045214064665112263767146231"
,"5470340717163326353007770672115207064421765151714414702457741076"
,"44305042261201712121600322000610064112422177075164023471375333"
,"3635606761546151541730530600240024357777377341650660343312063254"
,"154244671041523767176363240226325456264261273747213335761623644"
,"1542771575561440301736246340366666042527214363703663477472310656"
,"-5456770435633524002046275766310473325273314446701661102675415057"
,"-654075560255205261204633770245423545452361330432507014662575267"
,"-7224740715526423622321425250304250755735516632137222164532463536"
,"2015074203753642420006035740552022766544265450316455324246375610"
,"7412377643532716047345202407634135312030454140256227243660450036"
,"-5704564215251102622643337656445060243766317702512155703467432206"
,"6461024170272165052427303453260426260367642475771252662250706436"
,"5514022751120751347442704464271230314155003036342470230100642274"
,"4503107012663170213775656460170612636200720434102472517745071262"
,"-7770040302143714144300271611337145555321710351451643437050343616"
,"5641623176476603260521750321405266310521766732112464027715052042"
,"1462605350565744270534062470062411612610376254771300635672330417"
,"2217635775515362651736306514311141077412177223165136006227273441"
,"-3367332440311750601027430621716557455622023743634655564244434557"
,"-1702302012204626176465676017750162664153357254577463147477437563"
,"-6712203266023726706725625012606763066067003353452516350554025404"
,"2176527241363350527236522210754753666731624661437101341767235202"
,"-4455205270054522031505234032536614140676720061127476461363236415"
,"-5140755245615307320637764303140221006552715603136777553136204657"
,"-6351675304632547407164703136461003545177200162623560460774411355"
,"-6106616442751664411534600626722120716250722025610551445534660373"
,"-7473112543523003353070264377135515206310256735477371507452543365"
,"-1263562124320161017142547566063072710353344773721252163313704571"
,"-7432063165422472561607743361600244650551527301746466067740605646"
,"-5043034527540226732456315753756102217532723522160615244001011477"
,"-6533452377464145544353011617555323400314453220102041200545710122"
,"7414413575427450443432551053216511066462657642532434712766276175"
,"6040744776425175166702513052761677111474007653255616427615242170"
,"-1540555765461022054636274637676346634433760350745415156046104015"
,"651651322253117673405132555237145224074015570343075443351077407"
,"-365734007311344245071366341636543226013434402600371552373363423"
,"-475411505177555551771307042516376142171646210337164620477345214"
,"-4635404321502014143443000347656446510153257455560244772641552567"
,"-2732675042556131207635334561144326774775640730052632166732316211"
,"-2253320161765054522024205411233312012123151372710164411365557764"
,"-3215003733545376371772317644426000261356073644375771770771302677"
,"611365433045122727530345043617112067574234103415561047452234455"
,"-2465227422776442345216556755253624631041446421165470412554251527"
,"1142071536453056605277511533521066707257541174237532623603116103"
,"2300102117414031363703707051247250356155647571515130226605412446"
,"45236431567204656036754355144046225344306254016642200520750315"
,"-1324222160622565042537166024417401140152501755146174216066053520"
,"-7512007113326530407671712565436320603243303533652441752130660204"
,"5762356142403547533262255270522756462012624601335271520436660623"
,"27710030130100233025654766272606216711167076414744123742770756"
,"-5424600261713256465302417254036650364043774354544035622624553137"
,"-6035054442067062652125115562610522504567662631674475166626267001"
,"3673522407071621351421632367363306003466114027742152042644624723"
,"-1124317203643546272701055304466361140240756676310735650266473513"
,"-5211374617727713721074260467016577447133531173002132205720726461"
,"3261056631726370272412213633033076151142463014107206376534657771"
,"276367624716405245500704413303617641052637547745047177736476442"
,"-1076077631761477075100176212517435437254766230274770562470756143"
,"-601302246134425167025120241542261022544733422172144641525465422"
,"-376053045140774301233654375275200676315307073606231776372234514"
,"5342344741207204144771216557356025576273043431444747203066714371"
,"-2705460161202376175602343400555332063026246371020021502023402303"
,"-6106556430470627137420171676110765557500225707547730162700363131"
,"2457173760203124445034017265175501645353676216111024410217077565"
,"-1550623061251455466552477323713612271166366337652770054240236000"
,"1120057606107030052313606515263301130560725013722310363471621425"
,"4341312535561512273212134413454615332327020665640061017515133674"
,"2734116226154057554070563751031453244175703577663351025263153436"
,"-7017105353753420361431437040341545420710533267507737436055774000"
,"-5373767465471500026743454273324155265267503036135707732010756204"
,"132110223133017252315154011225207407074767123343112707104177420"
,"-6534634013670155664215531755776202537075254072533530477332664402"
,"4363324067606156320003447452716762650740731702167410712153252262"
,"-5523246367413645276057172006152370730124617504660267520257132560"
,"-416520654543343650031673670375767073763727303243353747157770611"
,"7720374147037331250455546005507474443147214055471134432236265512"
,"6021121040347203374751070212700272513316457736160060233341410543"
,"-3463474575335165514006371226327146461047700304050104751317771065"
,"3145130557533471164375202225346226264012157577117173504260210743"
,"5673526435662117234667065661614457521700252255754234705677352074"
,"4725476107664412003523644401013570142017077522332302623014023557"
,"6037327134244170315336325316743102270756573415111655762546304541"
,"1063377275266620671704227406274006752071700265737113121356576514"
,"-7544400554621044750107320201775573457074432135223536110365760200"
,"-7451310126367725653767733253525032507046537541301253641554572365"
,"251251120247122202665366431535344254510077400124645410014006544"
,"-6170143003250026307420027670557122572560143432564043167617202760"
,"-7135040264600430665377702400465346677426105111660261040337725331"
,"2630372262516610131712762673670640657613402433630123676105576565"
,"5173236023074357660070546402513232244243676003332051541000252402"
,"-7254255272267213024437607203475177114354001072417226326345476124"
,"-5447440073237045545303051733557555171530675154340706220663415207"
,"3702304663637170726432655721224103265420470552255771015214463574"
,"-352527426745447221426071162772601414405557135445011645666421057"
,"4566163604215512422367522522362754664462141342111042567530011414"
,"-7160126514547156267305240132037201240046660501636171172401515457"
,"1570556464125626742165371350550336160455277353051442020122020326"
,"-1247504646150446770106557504014503125642470234321035266514407057"
,"-6030710047625626773604740306462766342740321267113217176661676641"
,"6625773115050712757107740426752105361554215564347151704336736217"
,"303254164217012604777500652534047031056160170413740734467636145"
,"2611722360366512764325216634136550470402636520057372727417142147"
,"2571170343134601761152704175761201160630322314351425573720045506"
,"-6415527523342773233247470356330643406030517672352067752152405316"
,"-2235066737466744336774745346767070075337673347500062711766773005"
];
List.app (fn s => (print ("scan HEX " ^ s ^ " = "); callO (StringCvt.scanString (IntInf.scan StringCvt.HEX)) s))
["-8000000000000000"
,"-7fffffffffffffff"
,"-4d"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"4e"
,"7ffffffffffffffe"
,"7fffffffffffffff"
,"-dc98afa477863b9ededc9141e42a7ad1c55c3a52c71f3f42"
,"-80130e1713f3fe5ecca095a96271145af1da195465af40de"
,"-1f9e256764649ae83ce30720f9242f40f6e8fc2ceaaf6417"
,"-c74795c83e9b0a885417de6ad23698f4948d40c281b06ce3"
,"e18387e36076ddf1137f3857fb67e4bca2c8e27256513aba"
,"-df552958bacb76245fd1287b07352f00a5f68cf4faf8f77c"
,"724dce36ed791296e9e822e944f78536437eb3c49ad020f5"
,"68e65bd7648dbd22b9c695096d2b69c0a1e85c7411d2ea95"
,"c561ad55482b05c50fa291b5c2c18dd6d2d7b91f4cdddc3e"
,"-7734c00bf1db98483b418d20b40eabbb715fe8831f1fb45b"
,"-60436d85f4f3876e7adf60229dcd7b297320a58d229c2820"
,"6d73692ad1653d2d42271ae4f62ac771c742d0c23cd2def0"
,"-d014816c8449a01455daa7e50e043fb34bb6e72e096c66e3"
,"6380a467f20258c2f16066332c5888ac7a88c931301cd2a1"
,"324ddd70d4d299b64edaddc8a1bb9a9a5cc1b181aeb0ca83"
,"16b97eb243296d4c5799b7a40cccdc75b53103c4c612e106"
,"fa8dc1a1204ba377eda068db6192bd0f047f506afe16bd0a"
,"2d29f23f0e95b43a21ab94ebc4ae43d855b8b87e2408b5c5"
,"-1f948cd2c384342602888433df2b0ac21bb738f8c209dc46"
,"-20fc395d6f596a91dbf1073c8823e68c1ba09813123f65dc"
,"-af7c8945a780ca7882abb73f383f906fbfbccd220b6875a8"
,"-14ebc4040042233a10736fe9aa2639acb600f973011f1b75"
,"56dc68c6975e6b2423c0916bfb9ccf64be335a151d8dcb7a"
,"7cb6ed5397e392a7782cbf69e52d27b39b8ae7d1f80d9f5a"
,"-df6318cca1c206efae72403e2092075bf353d587a20cc461"
,"d459dc1a60e13c1f9ac6379d51d0427c0f58f2cdd7c6bb9e"
,"d7ca0916a1a51c5a81d16a6991ef60d4a6b939f64e2d7062"
,"8850d1b5ab594fe3531e3e613323edef0f40fc5ddb27a566"
,"1d4f9cc89043ea5dccc60d886c43b916d4ba5eff94c48703"
,"-6b3adc031c0d7d2c913db1c484618d813bc2643ce5654d92"
,"-a7820788e09ddf5142935344d248f4bf0ad7588b91e22efe"
,"-cc53302898d7ce3ce6332d567be5c0a65e794b4ce8eae149"
,"6748fd632bd727c04db670c6c0dca5582924a28030b28803"
,"-9f6b77494f0790aa2eaff738a9c8cb96463fa1d3afac61fa"
,"-9a4de579560880f3fdb5f499862234f02c4b1c3a490e2331"
,"975a03f3f6b4e74ddececfbe982fbf4beddc56d74544fe3a"
,"88618c689fbff3de09690f99bb9bb197403695117ee678f1"
,"-c9b05e1085b9f04f357484b8fdedf4e289a55405ecbdfc7"
,"360b24801b4643a80992c74e818029dae485bd5bf9822a9f"
,"-c4e9cc7afdf3eddf32c5e4f4d447db8cfa1e25cbf2a57aa"
,"-54eed353e6077375287b160fb82a543b348bd035603fbb92"
,"adef8e2d5d22c125a9933ab6dff865331ecacfa3c9bc6625"
,"-39e7ff59e18aa5d3800387c546d2ec4c660f108cc416100f"
,"-254bfe734eed2d2953d2b84a0d625c6c91f2e174c7ff5e1e"
,"-c35007ac94085167eafa435b936625460d36a4a59fdccc99"
,"b387073ce6d67581ff1ba26a1c6911fa9a7990ce14bfc23e"
,"24628896281e514700d200620684a891fc7a7409ce5fadb"
,"79dc37c6cc69b0f62b18050051dfff7fb8751b071b2866ac"
,"6c526e44353fb9f9e6a04b3565cb458aefce8b6efc727a4"
,"362fcdf6e32060f794ce07b6d84557463cf87b39fce991ae"
,"-b2efc4773754010997bf6644edaabb6649b83b1216f61a2f"
,"-1ac1edc15a8558a1337f852c4ecb2a78b623547066cafab7"
,"-e94f0736ad13c93462aa8622a3dbdda7668be923a56a675e"
,"40d1e20fd7a2880183be0b504bed645aca19d2d6a299fb88"
,"f0a7fe8eb5ce13b950507ce1759418961815c9751ec2501e"
,"-bc4ba2355242c968dbfae928c147f667f0a946de1cde3486"
,"d310a1e174751545d872b5845960f7d14f7f2aad92a38d1e"
,"b4c097a4a1e973c8b89345ca61986d01879c5384c10344bc"
,"9432382b667845ff75d303c62b3c80e8470853aa7f9472b2"
,"-ff810308c7cc3230173896f996dad1e43a653a38f8a1c78e"
,"ba1c99fa7d8358547d0d182ad99151fb76895340bf345422"
,"332c2ba2ebe45c57065381942715887f2b3f2c0ceee9b10f"
,"48fceff69af2d4f798d4c649847f0a3fa4cea5e0325d7721"
,"-6f76d48193e8c085e3191e75be5b9209f8f39adba292396f"
,"-3c26102909963f4d77c0ff41cb686b77ab2ff3333cfe3f73"
,"-dca41ad827d6e37572a0ac37cc6c3701bae554e745b02b04"
,"47eaba85e6e8aba7aa488f67af6dd9ca6c63e4170fdd3a82"
,"-92d42ae059520cd15381aaf630c1bee80c4af3e98bcd3d0d"
,"-a60f6a971ac76867fe8c3302440d6ae6e0cbdffb597909af"
,"-ce9deb133567839d3865e9880eca7f401cb2770987f212ed"
,"-c46c748bd3b484d730196e91439ca8e9057116992d7360fb"
,"-f3b2558ea603758e168ff2ed350cc8577767ef9a3caac6f5"
,"-2b3b9151a0710798acf76198eb90eb727efa2aa39b2f8979"
,"-f1a199d6253ab8e1fc6f1c02935169abb07cd361bf830ba6"
,"-a230e55ec096ed4b99bebf71091f5ae9d48e18d52004133f"
,"-d5b953fe6865b23ac138fb6b4e00cc95a408421405979052"
,"f0c85df62f2891c6ad22b475246d32d7e8ab51ce57d97c7d"
,"c20f27fa2a7d3b70a962af8efc933c03ead5b8e8be354478"
,"-360b6fd6621216679799fdf39b391bf83a3cb0d37098880d"
,"1a9d4b49564fddc14b56d4f995283c06de1c63d91ba47f07"
,"-f5ee01d92e4528e5ece1cf58d2c0b8e40b00f9b53ede713"
,"-13d84d14ff6db4fe58e22a73f8c479d3221be74c84fdca8c"
,"-99d82346840c31c8c00e7d749a906b57cb6e0a4fd686d577"
,"-5dade88adc5943e75b9713235bf9fdd0760559a3b7699c89"
,"-4ab681c7ea2ca90510b094db28145334beb907484bd6dff4"
,"-68d01f6ecafe7cfe99fa48b00162ee1de91fbf9fc7e585bf"
,"1897ac6c4a52ebd61ca23c79286f7c4e10e1b7113ca9392d"
,"-5354bc4bfd2272a3added55e53322193444eb38855b15357"
,"2621cd7a562ec2afe935ba88db8eafb09f13f5ac9e0c9c43"
,"4c02113e181979f0f8e2953aa1dc6dd3de69a584b6161526"
,"254f466ee84d707bd8ed320992ae4632b01da240543d0cd"
,"-2d4491c325751157cec1487c04c06aa0fb4cc7c470d85750"
,"-f4a0392dad5883ee795758f34306a361d6f5521f51636084"
,"bf27718a0767adac95ab8a97ba640aca605bab9a847b6193"
,"17e4060b0404d85759f65d6191dc93b8fa19e429f8bf1ee"
,"-b14c02c796ae9ab0a1eac0f6a1e823fe3b2c81dc9652d65f"
,"-c1d164886e32d51549b72c454a8977d9667793d3b6596e01"
,"7bba941c739174c4734f779b1807362605fc46a1169329d3"
,"-25467a0f47665d7045ac49b3c4c0a0f76f991ddd42da774b"
,"-a897e63fafcbe88f16137075fe4e5bac9ec045a42f43ad31"
,"6b117667acf85d429179b0d8f8d262998308e867f5735ff9"
,"be7be539d0552d03890b61e3f422acfd9fca273ff7a7d22"
,"-23e1fe67e33f1e900fc8aa7c763eacfb26179f8b94e3dc63"
,"-18161298b9153b854a0a1b12c42564edc48f464d0d566b12"
,"-fe15894c1fc60a6f58fd5ea037ccd638ef0c99ff3e9394c"
,"ae2727850e84327e51d6f77056fcbb11c6649e7418db98f9"
,"-5c5981c504fe3ee09c700b6b686616533e42011a104e04c3"
,"-c46b746271972fc40f3be247d6df404af1ecfd839701e659"
,"52f3dfc10654928701eb53ed074aebdf23892148423c7f75"
,"-368c98c5532d9b5aa7ed3e5e2972767b37f55f8162813c00"
,"25017e188e181532f0d4d59b04b170ea82fa4c879ce72315"
,"8e165576e34a5da28b90b96635b4d7086d7403107d34b7bc"
,"5dc27258d82fb60e2e7e90ccad487de1dff66e90aaccd71e"
,"-e0f22bafd71078c663e2070d9621c8adade8fdf8f0b7f800"
,"-afbfbcd673400b78e58bb6a1b56ab7a1878bbc7ed023dc84"
,"5a2424cb60f55334d8094aa1e0e3cfb94dc64ae3910ff10"
,"-d5cce02f706dda236b3edff20abe3d560eab7589fb6b6902"
,"8f36a0df0c6e6800e4f2ae77cb51e0ecf08ef08e51ad54b2"
,"-b53533de17a55f0bcf406353e3b054c7d1360b7a82bcb570"
,"-10ea86b2c6e3d406777b87efdc77f3ebb0d46ebf39bff189"
,"fd07e19c3ed9544b6cc05a3cf24667460b6725c8d2796b4a"
,"c1128881ce837e7a4708ae02ea96ce97f78e0304db861163"
,"-7339e5f5ba75a6019f2966b99a6227e03105044f4b3ff235"
,"6652c5beb7393a3f5049573259680a37dfc9e7ba22c111e3"
,"bbbab477644f4e6dc6bb1c64bea3c0552b7d89ce2efdd43c"
,"9d59f11f690a01d4f490105de0c40f1fd49b4c2c9830276f"
,"c1f6b971487866b79aacef190971eebdc3493adf95998961"
,"2337faf56d90dcf112f065e01bd439e02d7be4b28bbafd4c"
,"-f64805b32224f411da081fedee5e3c8d175275e243d7e080"
,"-f2964159efd5d5fdfb6abaa86a8e26afd8582abd0db2f4f5"
,"a9549414e52416d5ed19aeb9159481fc00a9a5840300d64"
,"-c783180d501663c402fb8b794af57031c6ae8233be3d05f0"
,"-e5d102d30118dabff85009ab9b7f162292760b11037faad9"
,"5987d2ca9d882cf2be5bbdc6835f8b8146f3053df116fd75"
,"a7b4f04c78efd80e2cd02a5a6948a3df00db429b08015502"
,"-eac56ae96e8b0a47f0e839e9fc98ec008ea1e966b3967c54"
,"-b27900ed3e25b2b0c53dbb7db4f358de9b1c1c6486ce1a87"
,"7c2626cf3e78eb46b5bd14a10d6b109c5a95bf906a32677c"
,"-eaabc5bcb2748c587272fd6061905b79764a09d2eda222f"
,"97639e111b4a893dea552797b3693230b889222bbd60130c"
,"-e702b532ce6e5bb15405a0fa054026d85073c793d4069b2f"
,"378b74d0ab96f11d5f2e8b4378e12d5fbac53220814820d6"
,"-2a7a2698d126fc11adf440650caba29c271a21d5b5320e2f"
,"-c18e409f2b96fde13c0c6997d9c5e068adc968f3f6c77da1"
,"d95fd93451caf791fc116f5115e36c46dd1ce69e237bbc8f"
,"c3561d11e0ac27fe81aaae09c322e381e217e0ee4df3c65"
,"589e93c1ed4afa3551d9c2f5a27102cf5405efaebc3cc467"
,"5793c38cb981f89ab887df8a04e19869331d315bdf404b46"
,"-d0dabd4dc5fb4da9e70ee6c68e0c18a7ee9d437f51aa0ace"
,"-49d1b77e6de46f7f3cae6fb8e07adfddb9e8032e4fdbf605"
];
